The variable declaration item
Declaration items in the model
rminizinc::Item
-> VarDeclItem
.decl
: the declaration expression
.delete_flag
: used to delete items
.decl
: the declaration expression
.delete_flag
: used to delete items
new()
constructor
VarDeclItem$new(decl = NULL, mzn_str = NULL)
decl
: the declaration expression object
mzn_str
: string representation of variable declaration item
getDecl()
get the variable declaration
VarDeclItem$getDecl()
setDecl()
set the variable declaration
VarDeclItem$setDecl(e)
e
: var decl expression
getId()
get the identifier object for the variable
VarDeclItem$getId()
c_str()
set the variable declaration
convert the declaration to String
VarDeclItem$c_str()
getDeleteFlag()
delete flag for internal use
VarDeclItem$getDeleteFlag()
delete()
delete the variable item
VarDeclItem$delete()
clone()
The objects of this class are cloneable with this method.
VarDeclItem$clone(deep = FALSE)
deep
: Whether to make a deep clone.
Useful links