IntSetVal: Integer set value

Description Public fields Active bindings Methods

Description

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


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.


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