rminizinc (version 0.0.8)

Id: Id class (not exposed to the user)

Description

Create a new Id in MiniZinc

Super class

rminizinc::Expression -> Id

Public fields

.id

the string identifier

.delete_flag

used to delete items

Active bindings

.id

the string identifier

.delete_flag

used to delete items

Methods

Public methods

• Id$new()

• Id$getName()

• Id$setName()

• Id$c_str()

• Id$getDeleteFlag()

• Id$delete()

• Id$clone()

Method new()

constructor

Usage

Id$new(id)

Arguments

id

id to be created

Method getName()

get the string identifier

Usage

Id$getName()

Method setName()

set the string identifier

Usage

Id$setName(name)

Arguments

name

string name to set

Method c_str()

return the MiniZinc representation

Usage

Id$c_str()

Method getDeleteFlag()

delete flag for internal use

Usage

Id$getDeleteFlag()

Method delete()

delete the assignment item

Usage

Id$delete()

Method clone()

The objects of this class are cloneable with this method.

Usage

Id$clone(deep = FALSE)

Arguments

deep

Whether to make a deep clone.