IntVal function

IntVal class (not exposed to user)

create an Integer Value in MiniZinc

Public fields

• .val: the integer value

Active bindings

• .val: the integer value

Methods

Public methods

• list("IntVal$new()")

• list("IntVal$v()")

• list("IntVal$clone()")

Method new()

constructor

Usage

IntVal$new(val)

Arguments

• val: int value to be assigned

Method v()

return the value

Usage

IntVal$v()

Method clone()

The objects of this class are cloneable with this method.

Usage

IntVal$clone(deep = FALSE)

Arguments

• deep: Whether to make a deep clone.