rminizinc (version 0.0.8)

Generator: Generator

Description

Create a generator in MiniZinc

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

• Generator$new()

• Generator$getIn()

• Generator$setIn()

• Generator$getWhere()

• Generator$setWhere()

• Generator$getDecl()

• Generator$setDecl()

• Generator$c_str()

• Generator$getDeleteFlag()

• Generator$delete()

• 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.

Examples

# NOT RUN {
newGen = Generator$new(IN = IntSetDecl(name = "SET", kind = "par"), 
decls = list(IntDecl(name = "i", kind = "par")))
# }