Description Public fields Active bindings Methods
integer range set value in MiniZinc
.minminimum value of integer range
.maxmaximum value of integer range
.minminimum value of integer range
.maxmaximum value of integer range
new()constructor
IntSetVal$new(imin, imax)
iminminimum int value
imaxmaximum int value
getMin()get the minimum IntVal
IntSetVal$getMin()
setMin()set the minimum IntVal
IntSetVal$setMin(val)
valint value to be set
getMax()get the maximum IntVal
IntSetVal$getMax()
setMax()set the maximum IntVal
IntSetVal$setMax(val)
valint value to be set
clone()The objects of this class are cloneable with this method.
IntSetVal$clone(deep = FALSE)
deepWhether to make a deep clone.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.