Generator: Generator

Description Super class Public fields Active bindings Methods Examples

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

Inherited methods

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

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

rminizinc documentation built on Oct. 15, 2021, 9:06 a.m.