Annotation: Annotation

Description Public fields Active bindings Methods

Description

Create Annotations in MiniZinc

Public fields

.expVec

list of expressions

.delete_flag

used to delete items

Active bindings

.expVec

list of expressions

.delete_flag

used to delete items

Methods

Public methods


Method new()

constructor

Usage
Annotation$new(expVec)
Arguments
expVec

vector of MiniZinc expressions


Method getExps()

get the list of expressions

Usage
Annotation$getExps()

Method setExps()

set the list of expressions

Usage
Annotation$setExps(expVec)
Arguments
expVec

list of expressions to be set


Method c_str()

get the MiniZinc expression

Usage
Annotation$c_str()

Method getDeleteFlag()

delete flag for internal use

Usage
Annotation$getDeleteFlag()

Method delete()

delete the assignment item

Usage
Annotation$delete()

Method clone()

The objects of this class are cloneable with this method.

Usage
Annotation$clone(deep = FALSE)
Arguments
deep

Whether to make a deep clone.


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