Generated on Sat Feb 12 2011 17:41:11 for Gecode by doxygen 1.7.3

Testing finite domain integers

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