Description Public fields Active bindings Methods
This class will take all the objects required to create a MiniZinc model.
.itemslist of items in the model
.itemslist of items in the model
new()create a new instance of model class
Model$new(items)
itemsall items of the model
getItems()get all the items
Model$getItems()
setItems()set all the items
Model$setItems(items)
itemsitems to be set
getItem()get the item using index
Model$getItem(i)
iindex
setItem()set the item using index
Model$setItem(i, item)
iindex
itemitem to be set
addItem()add item to the model
Model$addItem(item)
itemitem to add
nitems()get the number of items
Model$nitems()
mzn_string()get the string representation of the model
Model$mzn_string()
clone()The objects of this class are cloneable with this method.
Model$clone(deep = FALSE)
deepWhether to make a deep clone.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.