FloatVal {rminizinc}

FloatVal class (not exposed to user)

Description

create a Float Value in MiniZinc

Public fields

.val

the integer value

Active bindings

.val

the integer value

Methods

Public methods

• FloatVal$new()

• FloatVal$v()

• FloatVal$clone()

Method new()

constructor

Usage

FloatVal$new(val)

Arguments

val

float value to be assigned

Method v()

return the value

Usage

FloatVal$v()

Method clone()

The objects of this class are cloneable with this method.

Usage

FloatVal$clone(deep = FALSE)

Arguments

deep

Whether to make a deep clone.