ECLiPSe Obsolete Libraries Manual Release 5.10

# ECLiPSe Obsolete Libraries Manual Release 5.10 ### Pascal Brisset Hani El Sakkout Thom Frühwirth Carmen Gervet Warwick Harvey Micha Meier Stefano Novello Thierry Le Provost Joachim Schimpf Kish Shen Mark Wallace

© 1990 – 2006 Cisco Systems, Inc.

- Introduction
- The Finite Domains Library
  - Terminology
  - Constraint Predicates
  - Arithmetic Constraint Predicates
  - Logical Constraint Predicates
  - Evaluation Constraint Predicates
  - CHIP Compatibility Constraints Predicates
  - Utility Constraints Predicates
  - Search Methods
  - Domain Output
  - Debugging Constraint Programs
  - Debugger Support
  - Examples
  - General Guidelines to the Use of Domains
  - User-Defined Constraints
  - Extensions
  - Example of Defining a New Constraint
  - Program Examples
  - Current Known Restrictions and Bugs
- The Set Domain Library
  - Terminology
  - Syntax
  - The solver
  - Constraint predicates
  - Examples
  - When to use Set Variables and Constraints...
  - User-defined constraints
  - Example of defining a new constraint
  - Set Domain output
  - Debugger
- Porting to Standalone Eplex
  - Differences between Standalone Eplex and Older Non-Standalone Eplex
- Index
- References

> This document was translated from LATEX by HEVEA.