Item: Item class (Abstract)

Description Methods

Description

Abstract class for all items in MiniZinc grammar

Methods

Public methods


Method new()

constructor

Usage
Item$new()

Method clone()

The objects of this class are cloneable with this method.

Usage
Item$clone(deep = FALSE)
Arguments
deep

Whether to make a deep clone.


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