IntSetVal function

Integer set value

integer range set value in MiniZinc

Public fields

• .min: minimum value of integer range

• .max: maximum value of integer range

Active bindings

• .min: minimum value of integer range

• .max: maximum value of integer range

Methods

Public methods

• list("IntSetVal$new()")

• list("IntSetVal$getMin()")

• list("IntSetVal$setMin()")

• list("IntSetVal$getMax()")

• list("IntSetVal$setMax()")

• list("IntSetVal$clone()")

Method new()

constructor

Usage

IntSetVal$new(imin, imax)

Arguments

• imin: minimum int value

• imax: maximum int value

Method getMin()

get the minimum IntVal

Usage

IntSetVal$getMin()

Method setMin()

set the minimum IntVal

Usage

IntSetVal$setMin(val)

Arguments

• val: int value to be set

Method getMax()

get the maximum IntVal

Usage

IntSetVal$getMax()

Method setMax()

set the maximum IntVal

Usage

IntSetVal$setMax(val)

Arguments

• val: int value to be set

Method clone()

The objects of this class are cloneable with this method.

Usage

IntSetVal$clone(deep = FALSE)

Arguments

• deep: Whether to make a deep clone.