Type class
The information of different data types
.bt
: the base type
.kind
: parameter or decision
.dim
: the number of dimensions set or plain
.bt
: the base type
.kind
: parameter or decision
.dim
: the number of dimensions set or plain
new()
constructor
Type$new(base_type, kind, dim = 0, set_type = FALSE)
base_type
: the base type
kind
: parameter or decision
dim
: the number of dimensions
set_type
: set or plain
bt()
return the base type
Type$bt()
st()
return if it's set type
Type$st()
kind()
return the kind
Type$kind()
ndim()
return the number of dimensions
Type$ndim()
isInt()
check if it's an int
Type$isInt()
isFloat()
check if it's a float
Type$isFloat()
isBool()
check if it's a bool
Type$isBool()
isString()
check if it's a string
Type$isString()
isSet()
return if set in MiniZinc
Type$isSet()
isIntSet()
check if it's a set of int
Type$isIntSet()
isFloatSet()
check if it's a set of float
Type$isFloatSet()
isBoolSet()
check if it's a set of bool
Type$isBoolSet()
clone()
The objects of this class are cloneable with this method.
Type$clone(deep = FALSE)
deep
: Whether to make a deep clone.
Useful links