[ 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