Description Public fields Active bindings Methods
create a Float Value in MiniZinc
.valthe integer value
.valthe integer value
new()constructor
FloatVal$new(val)
valfloat 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)
deepWhether to make a deep clone.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.