IntSetVal {rminizinc}

Integer set value

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

• IntSetVal$new()

• IntSetVal$getMin()

• IntSetVal$setMin()

• IntSetVal$getMax()

• IntSetVal$setMax()

• 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.