Description Super class Public fields Active bindings Methods
Include external mzn files in your model.
rminizinc::Item -> IncludeItem
.idname of mzn file
.delete_flagused to delete items
.idname of mzn file
.delete_flagused to delete items
new()constructor
IncludeItem$new(name = NULL, mzn_str = NULL)
namename of the file to include
mzn_strstring representation of Include Item get file name set the file name
getmznName()IncludeItem$getmznName()
setmznName()IncludeItem$setmznName(name)
namename of file
c_str()get the MiniZinc representation
IncludeItem$c_str()
getDeleteFlag()delete flag for internal use
IncludeItem$getDeleteFlag()
delete()delete the include item
IncludeItem$delete()
clone()The objects of this class are cloneable with this method.
IncludeItem$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.