FloatSetVal {rminizinc}

Float set value

Description

float set range in MiniZinc

Public fields

.min

minimum FloatVal

.max

maximum FloatVal

Active bindings

.min

minimum FloatVal

.max

maximum FloatVal

Methods

Public methods

• FloatSetVal$new()

• FloatSetVal$getMin()

• FloatSetVal$setMin()

• FloatSetVal$getMax()

• FloatSetVal$setMax()

• 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.