[ library(COLIBRI_DOC) | ]
real_vars(+Type,Vars)
Typing constraints for "real" vars.
- +Type
- Real type among real, float (32 bits) and double (64 bits).
- Vars
- A variable or a list of variables.
Description
Variables in Vars are constrained to have the type Type.
Fail Conditions
Fails if Vars cannot have the defined type.
Resatisfiable
no
Examples
Succes:
real_vars(double,X). (gives X = _868{[-1.0Inf .. 1.0Inf]})
Fail:
real_vars(double,X),int_vars(float,X).
See Also
$= / 2, $: / 2