Description Public fields Active bindings Methods
create an Integer Value in MiniZinc
.valthe integer value
.valthe integer value
new()constructor
IntVal$new(val)
valint value to be assigned
v()return the value
IntVal$v()
clone()The objects of this class are cloneable with this method.
IntVal$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.