[ library(COLIBRI_DOC) | ]

Vars $: +Range

Range definition for "real" types: real, float and double.
Vars
A variable or a list of variables.
+Range
real/float/double value, real/float/double interval or a list of real/float/double values and real/float/double intervals.

Description

Variables in Vars have the range Range.

Fail Conditions

Fails if at least one variable of Vars cannot have the range Range.

Resatisfiable

no

Examples

Success:
   real_vars(double,X), X $: 1.0..10.0. (gives X = _337{[1.0 .. 10.0]})

Fail:
   real_vars(double,X), X $: 1.0..10.0, X $: -10.0 .. -1.0.

See Also

$= / 2, real_vars / 2