Generated on Sat Feb 7 2015 02:01:37 for Gecode by doxygen 1.8.9.1
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