Description Super class Public fields Active bindings Methods Examples
Create an integer in MiniZinc
rminizinc::Expression -> Int
.valueobject of class expression
.valueobject of class expression
new()constructor
Int$new(val)
valthe value of the integer
getIntVal()get the IntVal value
Int$getIntVal()
setIntVal()set the IntVal value
Int$setIntVal(val)
valvalue to be set
c_str()get the MiniZinc representation
Int$c_str()
clone()The objects of this class are cloneable with this method.
Int$clone(deep = FALSE)
deepWhether to make a deep clone.
| 1 2 3 4 | 
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.