Type: Type class

Description Public fields Active bindings Methods

Description

The information of different data types

Public fields

.bt

the base type

.kind

parameter or decision

.dim

the number of dimensions set or plain

Active bindings

.bt

the base type

.kind

parameter or decision

.dim

the number of dimensions set or plain

Methods

Public methods


Method new()

constructor

Usage
Type$new(base_type, kind, dim = 0, set_type = FALSE)
Arguments
base_type

the base type

kind

parameter or decision

dim

the number of dimensions

set_type

set or plain


Method bt()

return the base type

Usage
Type$bt()

Method st()

return if it's set type

Usage
Type$st()

Method kind()

return the kind

Usage
Type$kind()

Method ndim()

return the number of dimensions

Usage
Type$ndim()

Method isInt()

check if it's an int

Usage
Type$isInt()

Method isFloat()

check if it's a float

Usage
Type$isFloat()

Method isBool()

check if it's a bool

Usage
Type$isBool()

Method isString()

check if it's a string

Usage
Type$isString()

Method isSet()

return if set in MiniZinc

Usage
Type$isSet()

Method isIntSet()

check if it's a set of int

Usage
Type$isIntSet()

Method isFloatSet()

check if it's a set of float

Usage
Type$isFloatSet()

Method isBoolSet()

check if it's a set of bool

Usage
Type$isBoolSet()

Method clone()

The objects of this class are cloneable with this method.

Usage
Type$clone(deep = FALSE)
Arguments
deep

Whether to make a deep clone.


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