FloatVal: FloatVal class (not exposed to user)

Description Public fields Active bindings Methods

Description

create a Float Value in MiniZinc

Public fields

.val

the integer value

Active bindings

.val

the integer value

Methods

Public methods


Method new()

constructor

Usage
FloatVal$new(val)
Arguments
val

float value to be assigned


Method v()

return the value

Usage
FloatVal$v()

Method clone()

The objects of this class are cloneable with this method.

Usage
FloatVal$clone(deep = FALSE)
Arguments
deep

Whether to make a deep clone.


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