Generator function

Generator

Create a generator in MiniZinc

Examples

newGen = Generator$new(IN = IntSetDecl(name = "SET", kind = "par"), 
decls = list(IntDecl(name = "i", kind = "par")))

Super class

rminizinc::Expression -> Generator

Public fields

• .decls: variable declarations

• .in: in expression

• where: where expression

• .delete_flag: used to delete items

Active bindings

• .decls: variable declarations

• .in: in expression

• where: where expression

• .delete_flag: used to delete items

Methods

Public methods

• list("Generator$new()")

• list("Generator$getIn()")

• list("Generator$setIn()")

• list("Generator$getWhere()")

• list("Generator$setWhere()")

• list("Generator$getDecl()")

• list("Generator$setDecl()")

• list("Generator$c_str()")

• list("Generator$getDeleteFlag()")

• list("Generator$delete()")

• list("Generator$clone()")

Method new()

constructor

Usage

Generator$new(decls, IN = NULL, where = NULL)

Arguments

• decls: list of variable declarations

• IN: the in expression of generator

• where: the where expression of generator

Method getIn()

get the in expression

Usage

Generator$getIn()

Method setIn()

set the in expression

Usage

Generator$setIn(expIn)

Arguments

• expIn: expression to be set

Method getWhere()

get the where expression

Usage

Generator$getWhere()

Method setWhere()

get the where expression

Usage

Generator$setWhere(expWhere)

Arguments

• expWhere: where expression (or NULL)

Method getDecl()

get the ith declaration

Usage

Generator$getDecl(i)

Arguments

• i: index

Method setDecl()

get the ith declaration

Usage

Generator$setDecl(i, decl)

Arguments

• i: index

• decl: declaration to be set

Method c_str()

get the MiniZinc representation

Usage

Generator$c_str()

Method getDeleteFlag()

delete flag for internal use

Usage

Generator$getDeleteFlag()

Method delete()

delete the assignment item

Usage

Generator$delete()

Method clone()

The objects of this class are cloneable with this method.

Usage

Generator$clone(deep = FALSE)

Arguments

• deep: Whether to make a deep clone.