Next:
Introduction
Up:
ECLiPSe Library Manual Release
Previous:
The Extended CHR Implementation
 
Index
RANGE: A Basis For Numeric Solvers
Introduction
Usage
Library Predicates
Constraints
Vars :: Lo..Hi
reals(Vars)
integers(Vars)
lwb(+Var, +Bound)
upb(+Var, +Bound)
Examples
Retrieving Domain Information
var_range(+Var, -Lo, -Hi)
var_type(+Var, -Type)
Auxliliary Predicates
range_msg(+Var1, +Var2, ?Var3)
print_range(+Var, -Range)
Handlers
Attribute Structure
Writing Higher Level Constraints
1999-08-06