Int function

Int

Create an integer in MiniZinc

Examples

newInt = Int$new(10)
newInt$c_str()
newInt$setIntVal(newInt$getIntVal() + 20)
newInt$c_str()

Super class

rminizinc::Expression -> Int

Public fields

• .value: object of class expression

Active bindings

• .value: object of class expression

Methods

Public methods

• list("Int$new()")

• list("Int$getIntVal()")

• list("Int$setIntVal()")

• list("Int$c_str()")

• list("Int$clone()")

Method new()

constructor

Usage

Int$new(val)

Arguments

• val: the value of the integer

Method getIntVal()

get the IntVal value

Usage

Int$getIntVal()

Method setIntVal()

set the IntVal value

Usage

Int$setIntVal(val)

Arguments

• val: value to be set

Method c_str()

get the MiniZinc representation

Usage

Int$c_str()

Method clone()

The objects of this class are cloneable with this method.

Usage

Int$clone(deep = FALSE)

Arguments

• deep: Whether to make a deep clone.