Description Super class Public fields Active bindings Methods Examples
Contains different fields to create a variable declaration
rminizinc::Expression -> VarDecl
.titype instantiation information
idname of the variable
.expressionthe initialization expression
.delete_flagused to delete items
.titype instantiation information
idname of the variable
.expressionthe initialization expression
.delete_flagused to delete items
new()constructor
VarDecl$new(name, type_inst, value = NULL)
namethe identifier/name
type_insttype instantiation of the variable
valuevalue of variable, NULL by default
getId()get the identifier object
VarDecl$getId()
setId()set the identifier object name
VarDecl$setId(name)
namename to be set
isPar()check if it's a parameter
VarDecl$isPar()
isVar()check if it's a decision variable
VarDecl$isVar()
setDomain()overwrite the existing domain
VarDecl$setDomain(dom)
domdomain expression to be set
getDomain()get the variable domain
VarDecl$getDomain()
getValue()get the value
VarDecl$getValue()
setValue()set the value
VarDecl$setValue(val)
valexpression to be set (NULL to remove value)
ti()get the type-inst of the variable declaration
VarDecl$ti()
c_str()get the domain of the variable
return string representation of MiniZinc
VarDecl$c_str()
getDeleteFlag()delete flag for internal use
VarDecl$getDeleteFlag()
delete()delete the assignment item
VarDecl$delete()
clone()The objects of this class are cloneable with this method.
VarDecl$clone(deep = FALSE)
deepWhether to make a deep clone.
1 2 3  | 
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.