VarDeclItem: The variable declaration item

Description Super class Public fields Active bindings Methods

Description

Declaration items in the model

Super class

rminizinc::Item -> VarDeclItem

Public fields

.decl

the declaration expression

.delete_flag

used to delete items

Active bindings

.decl

the declaration expression

.delete_flag

used to delete items

Methods

Public methods

Inherited methods

Method new()

constructor

Usage
VarDeclItem$new(decl = NULL, mzn_str = NULL)
Arguments
decl

the declaration expression object

mzn_str

string representation of variable declaration item


Method getDecl()

get the variable declaration

Usage
VarDeclItem$getDecl()

Method setDecl()

set the variable declaration

Usage
VarDeclItem$setDecl(e)
Arguments
e

var decl expression


Method getId()

get the identifier object for the variable

Usage
VarDeclItem$getId()

Method c_str()

set the variable declaration

convert the declaration to String

Usage
VarDeclItem$c_str()

Method getDeleteFlag()

delete flag for internal use

Usage
VarDeclItem$getDeleteFlag()

Method delete()

delete the variable item

Usage
VarDeclItem$delete()

Method clone()

The objects of this class are cloneable with this method.

Usage
VarDeclItem$clone(deep = FALSE)
Arguments
deep

Whether to make a deep clone.


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