Id: Id class (not exposed to the user)

Description Super class Public fields Active bindings Methods

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

Inherited methods

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.


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