Table of Contents
Part I User's Manual
Chapter 1 Getting Started
1.1 Basics
1.2 A Classic Example
Chapter 2 Building Blocks
2.1 Domains
2.2 Variables
2.3 Arithmetic Expressions
2.4 Constraints
2.4.1 Creation and Use
2.4.2 Arithmetic Constraints
2.4.3 Global Constraints
2.4.4 Reification
2.5 Search
2.6 Optimization
2.7 Constraint Programs on Finite Sets
2.7.1 Set Domains
2.7.2 Set Variables
2.7.3 Constraints
2.7.4 Labeling
Chapter 3 Advanced Usage
3.1 Search Control
3.1.1 Basic Mechanisms
3.1.2 Combining Goals with Iterators
3.2 Constraints Control
3.2.1 Events
3.2.2 Suspending to Events, Waking Identity
3.2.3 Wakening, Queuing, Priorities
3.2.4 Constraint Store
3.3 User's Constraints
3.4 User's Goals
3.4.1 Atomic Goal:
Goals.atomic
3.4.2 Arbitrary Goal:
Goals.create
3.4.3 Recursive Goals:
Goals.create_rec
3.5 Backtrackable Invariant References -- BIRs
3.5.1 Type, creation, access and modification
3.5.2 Operations
3.5.3 Domain access
Part II Reference Manual
Chapter 4 Modules
4.1 Module
Easy
ndex
