Next:
Introduction
Up:
ECLiPSe Library Manual Release
Previous:
Examples
 
Index
RIA: ECLiPSe Real Number Interval Arithmetic
Introduction
What Ria does
Usage
History
Library Predicates
Ranged and Typed Variables
Constraints
Arithmetic Expressions
Solving by Interval Propagation
Reducing Ranges Further
Setting the Arc-Propagation Threshold
Obtaining Solver Statistics
The Ria library algorithms
Arc consistency
Arc consistency threshold
Squash algorithm
1999-08-06