[ library(suspend) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

reals(?Vars)

Constrain Vars to be floats

Vars: List of variables or floats

Description

Constrain the variables in Vars to be floats. The constraint succeeds when all the variables are bound to floats. The constraint is only evaluated when all variables are ground.

Fail Conditions

Vars has non-floats.