Int: Int

Description Super class Public fields Active bindings Methods Examples

Description

Create an integer in MiniZinc

Super class

rminizinc::Expression -> Int

Public fields

.value

object of class expression

Active bindings

.value

object of class expression

Methods

Public methods

Inherited methods

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.

Examples

1
2
3
4
newInt = Int$new(10)
newInt$c_str()
newInt$setIntVal(newInt$getIntVal() + 20)
newInt$c_str()

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