IntVal: IntVal class (not exposed to user)

Description Public fields Active bindings Methods

Description

create an Integer Value in MiniZinc

Public fields

.val

the integer value

Active bindings

.val

the integer value

Methods

Public methods


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.


rminizinc documentation built on Oct. 15, 2021, 9:06 a.m.