Annotation function

Annotation

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

• list("Annotation$new()")

• list("Annotation$getExps()")

• list("Annotation$setExps()")

• list("Annotation$c_str()")

• list("Annotation$getDeleteFlag()")

• list("Annotation$delete()")

• list("Annotation$clone()")

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.