Description Public fields Active bindings Methods
create an Integer Value in MiniZinc
.val
the integer value
.val
the integer value
new()
constructor
IntVal$new(val)
val
int 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)
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.