main page
modules
namespaces
classes
files
Gecode home
Generated on Sat Feb 12 2011 17:41:11 for Gecode by
doxygen
1.7.3
Modules
Testing finite domain integers
Testing
Modules
Arithmetic constraints
Basic setup
Bin-packing constraints
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