ECL
i
PS
e
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 L
A
T
E
X by
H
E
V
E
A
.