Model function

MiniZinc Model class

This class will take all the objects required to create a MiniZinc model.

Public fields

• .items: list of items in the model

Active bindings

• .items: list of items in the model

Methods

Public methods

• list("Model$new()")

• list("Model$getItems()")

• list("Model$setItems()")

• list("Model$getItem()")

• list("Model$setItem()")

• list("Model$addItem()")

• list("Model$nitems()")

• list("Model$mzn_string()")

• list("Model$clone()")

Method new()

create a new instance of model class

Usage

Model$new(items)

Arguments

• items: all items of the model

Method getItems()

get all the items

Usage

Model$getItems()

Method setItems()

set all the items

Usage

Model$setItems(items)

Arguments

• items: items to be set

Method getItem()

get the item using index

Usage

Model$getItem(i)

Arguments

• i: index

Method setItem()

set the item using index

Usage

Model$setItem(i, item)

Arguments

• i: index

• item: item to be set

Method addItem()

add item to the model

Usage

Model$addItem(item)

Arguments

• item: item to add

Method nitems()

get the number of items

Usage

Model$nitems()

Method mzn_string()

get the string representation of the model

Usage

Model$mzn_string()

Method clone()

The objects of this class are cloneable with this method.

Usage

Model$clone(deep = FALSE)

Arguments

• deep: Whether to make a deep clone.