FloatVal function

FloatVal class (not exposed to user)

create a Float Value in MiniZinc

Public fields

• .val: the integer value

Active bindings

• .val: the integer value

Methods

Public methods

• list("FloatVal$new()")

• list("FloatVal$v()")

• list("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.