Next:
Introduction
Up:
ECLiPSe Constraint Library Manual
Previous:
Edge-finder
Index
IC: A Hybrid Finite Domain / Real Number Interval Constraint Solver
Introduction
Current Status
What IC does
Differences between IC and FD
Differences between IC and RIA
Notes about interval arithmetic
Interval arithmetic and IC
Usage
Arithmetic Expressions
Library Predicates
Domain constraints
Arithmetic constraints
Reified constraints
Enforcing constraints
User defined reified constraints
Reified variable is unbound
Reified variable is bound to 0
Reified variable is bound to 1
Miscellaneous constraints
Integer labeling predicates
Real domain refinement predicates
Variable query predicates
Propagation threshold predicates
Solving by Interval Propagation
Reducing Ranges Further
Squash algorithm
Obtaining Solver Statistics
General Guidelines for the Use of the IC library
User defined constraints
The IC attribute
IC attribute access
Modifying variable domains
Warwick Harvey
2002-05-15
