Int {rminizinc}

Int

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

• Int$new()

• Int$getIntVal()

• Int$setIntVal()

• Int$c_str()

• Int$clone()

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

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