main page
modules
namespaces
classes
files
Gecode home
search for
Generated on Mon Aug 25 11:35:47 2008 for Gecode by
doxygen
1.5.6
Testing finite domain integers
[
Testing
]
Modules
Arithmetic constraints
Basic setup
Boolean constraints
Channel constraints
Circuit constraints
Count constraints
Distinct constraints
Domain constraints
Element constraints
Extensional (relation) constraints
Counting constraints (global cardinality)
Linear constraints
Minimal modelling constraints (arithmetic)
Minimal modelling constraints (Boolean constraints)
Minimal modelling constraints (counting)
Minimal modelling constraints (linear constraints)
Minimal modelling constraints (relation)
Relation constraints
Scheduling constraints
Sorted constraints
Unsharing variables in arrays
General test support