[ 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