rminizinc (version 0.0.8)

Model: MiniZinc Model class

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

• Model$new()

• Model$getItems()

• Model$setItems()

• Model$getItem()

• Model$setItem()

• Model$addItem()

• Model$nitems()

• Model$mzn_string()

• 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.