Description Public fields Active bindings Methods
float set range in MiniZinc
.minminimum FloatVal
.maxmaximum FloatVal
.minminimum FloatVal
.maxmaximum FloatVal
new()constructor
FloatSetVal$new(fmin, fmax)
fminthe minimum FloatVal
fmaxthe maximum FloatVal
getMin()get the minimum float value
FloatSetVal$getMin()
setMin()set the minimum float value
FloatSetVal$setMin(val)
valfloat value to be set
getMax()get the maximum float value
FloatSetVal$getMax()
setMax()set the maximum float value
FloatSetVal$setMax(val)
valfloat value to be set
clone()The objects of this class are cloneable with this method.
FloatSetVal$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.