IntVal {rminizinc}

IntVal class (not exposed to user)

Description

create an Integer Value in MiniZinc

Public fields

.val

the integer value

Active bindings

.val

the integer value

Methods

Public methods

• IntVal$new()

• IntVal$v()

• 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.