FloatSetVal function

Float set value

float set range in MiniZinc

Public fields

• .min: minimum FloatVal

• .max: maximum FloatVal

Active bindings

• .min: minimum FloatVal

• .max: maximum FloatVal

Methods

Public methods

• list("FloatSetVal$new()")

• list("FloatSetVal$getMin()")

• list("FloatSetVal$setMin()")

• list("FloatSetVal$getMax()")

• list("FloatSetVal$setMax()")

• list("FloatSetVal$clone()")

Method new()

constructor

Usage

FloatSetVal$new(fmin, fmax)

Arguments

• fmin: the minimum FloatVal

• fmax: the maximum FloatVal

Method getMin()

get the minimum float value

Usage

FloatSetVal$getMin()

Method setMin()

set the minimum float value

Usage

FloatSetVal$setMin(val)

Arguments

• val: float value to be set

Method getMax()

get the maximum float value

Usage

FloatSetVal$getMax()

Method setMax()

set the maximum float value

Usage

FloatSetVal$setMax(val)

Arguments

• val: float value to be set

Method clone()

The objects of this class are cloneable with this method.

Usage

FloatSetVal$clone(deep = FALSE)

Arguments

• deep: Whether to make a deep clone.