Model: MiniZinc Model class

Description Public fields Active bindings Methods

Description

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


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.


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