Constraint Items
Describe Minizinc constraints on decision variables.
rminizinc::Item
-> ConstraintItem
.e
: the constraint expression
.delete_flag
: used to delete items
.e
: the constraint expression
.delete_flag
: used to delete items
new()
Creates a new instance of Constraint class.
ConstraintItem$new(e = NULL, mzn_str = NULL)
e
: The expression for the constraint (used if e is NULL)
mzn_str
: string representation of Constraint item
getExp()
get the constraint expression
ConstraintItem$getExp()
setExp()
set the constraint expression
ConstraintItem$setExp(e)
e
: expression
c_str()
serialize to MiniZinc syntax
ConstraintItem$c_str()
getDeleteFlag()
delete flag for internal use
ConstraintItem$getDeleteFlag()
delete()
delete the constraint item
ConstraintItem$delete()
clone()
The objects of this class are cloneable with this method.
ConstraintItem$clone(deep = FALSE)
deep
: Whether to make a deep clone.
Useful links