Description Public fields Active bindings Methods
create a Float Value in MiniZinc
.val
the integer value
.val
the integer value
new()
constructor
FloatVal$new(val)
val
float value to be assigned
v()
return the value
FloatVal$v()
clone()
The objects of this class are cloneable with this method.
FloatVal$clone(deep = FALSE)
deep
Whether to make a deep clone.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.