main page
modules
namespaces
classes
files
Gecode home
Generated on Tue Jul 27 2010 21:59:23 for Gecode by
doxygen
1.7.1
Modules
Testing finite domain integers
[
Testing
]
Modules
Arithmetic constraints
Basic setup
Boolean constraints
Channel constraints
Count constraints
Distinct constraints
Domain constraints
Element constraints
Synchronized execution
Extensional (relation) constraints
Counting constraints (global cardinality)
Linear constraints
Minimal modelling constraints (arithmetic)
Minimal modelling constraints (Boolean constraints)
Minimal modelling constraints (counting)
Minimal modeling constraints (linear constraints)
Minimal modelling constraints (relation)
Relation constraints
Sequence constraints
Sorted constraints
Unsharing variables in arrays
General test support