rminizinc (version 0.0.8)

Annotation: Annotation

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

• Annotation$new()

• Annotation$getExps()

• Annotation$setExps()

• Annotation$c_str()

• Annotation$getDeleteFlag()

• Annotation$delete()

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