IncludeItem function

Include Items

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

• list("IncludeItem$new()")

• list("IncludeItem$getmznName()")

• list("IncludeItem$setmznName()")

• list("IncludeItem$c_str()")

• list("IncludeItem$getDeleteFlag()")

• list("IncludeItem$delete()")

• list("IncludeItem$clone()")

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.