Next:
Introduction
Up:
ECLiPSe Obsolete Libraries Manual
Previous:
Debugger
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)
set_range_bounds(?Var, +Lo, +Hi)
Handlers
Attribute Structure
Writing Higher Level Constraints
Warwick Harvey
2004-08-07
