Create a Comprehension in MiniZinc
rminizinc::Expression -> Comprehension
.generatorsa vector of generators
.expressionthe comprehension expression
.setTRUE if comprehension is a set
.delete_flagused to delete items
.generatorsa vector of generators
.expressionthe comprehension expression
.setTRUE if comprehension is a set
.delete_flagused to delete items
new()constructor
Comprehension$new(generators, body, set)
generatorsgenerators of the expression
bodybody/expression of the comprehension
setbool to specify if comprehension is a set.
ngens()get the number of generators
Comprehension$ngens()
getGens()get all the generator expressions
Comprehension$getGens()
setGens()set all the generator expressions
Comprehension$setGens(generators)
generatorslist of generator expressions to be set
getGen()get the ith generator expression
Comprehension$getGen(i)
iindex
setGen()set the ith generator expression
Comprehension$setGen(i, expGen)
iindex
expGengenerator expression to be set
getBody()get the expression/body
Comprehension$getBody()
setBody()set the expression/body
Comprehension$setBody(e)
enew expression value
isSet()check if comprehension is a set
Comprehension$isSet()
c_str()get the MiniZinc representation
Comprehension$c_str()
getDeleteFlag()delete flag for internal use
Comprehension$getDeleteFlag()
delete()delete the assignment item
Comprehension$delete()
clone()The objects of this class are cloneable with this method.
Comprehension$clone(deep = FALSE)
deepWhether to make a deep clone.