Id function

Id class (not exposed to the user)

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

• list("Id$new()")

• list("Id$getName()")

• list("Id$setName()")

• list("Id$c_str()")

• list("Id$getDeleteFlag()")

• list("Id$delete()")

• list("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.