IncludeItem: Include Items

Description Super class Public fields Active bindings Methods

Description

Include external mzn files in your model.

Super class

rminizinc::Item -> IncludeItem

Public fields

.id

name of mzn file

.delete_flag

used to delete items

Active bindings

.id

name of mzn file

.delete_flag

used to delete items

Methods

Public methods

Inherited methods

Method new()

constructor

Usage
IncludeItem$new(name = NULL, mzn_str = NULL)
Arguments
name

name of the file to include

mzn_str

string representation of Include Item get file name set the file name


Method getmznName()

Usage
IncludeItem$getmznName()

Method setmznName()

Usage
IncludeItem$setmznName(name)
Arguments
name

name of file


Method c_str()

get the MiniZinc representation

Usage
IncludeItem$c_str()

Method getDeleteFlag()

delete flag for internal use

Usage
IncludeItem$getDeleteFlag()

Method delete()

delete the include item

Usage
IncludeItem$delete()

Method clone()

The objects of this class are cloneable with this method.

Usage
IncludeItem$clone(deep = FALSE)
Arguments
deep

Whether to make a deep clone.


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