Generated on Fri Aug 31 2012 16:22:20 for Gecode by doxygen 1.8.1.2
Testing finite domain integers

Modules

 Arithmetic constraints
 Basic setup
 Bin-packing constraints
 Boolean constraints
 Channel constraints
 Circuit constraints
 Count constraints
 Cumulative scheduling constraints
 Cumnulatives scheduling constraint
 Distinct constraints
 Domain constraints
 Element constraints
 Synchronized execution
 Extensional (relation) constraints
 Counting constraints (global cardinality)
 Linear constraints
 Membership constraints
 Minimal modelling constraints (arithmetic)
 Minimal modelling constraints (Boolean constraints)
 Minimal modelling constraints (counting)
 Minimal modeling constraints (linear constraints)
 Minimal modelling constraints (relation)
 No-overlap constraints
 Number of values constraints
 Relation constraints
 Sequence constraints
 Sorted constraints
 Unary scheduling constraints
 Unsharing variables in arrays
 General test support

Detailed Description