Generated on Sat Feb 7 2015 02:01:57 for Gecode by doxygen 1.8.9.1
Test::Int::GCC Namespace Reference

Tests for counting constraints (global cardinality) More...

Classes

class  Create
 Help class to create and register tests. More...
 
class  IntAllMax
 Test for integer cardinality with max cardinality for all variables More...
 
class  IntAllMinMax
 Test for integer cardinality with min and max for all variables More...
 
class  IntAllMinMaxDef
 Test for integer cardinality with min and max for all variables More...
 
class  IntSome
 Test for integer cardinality for some variables More...
 
class  VarAll
 Test for variable cardinality for all cardinality values More...
 
class  VarSome
 Test for variable cardinality for some cardinality values More...
 

Variables

Create c
 

Detailed Description

Tests for counting constraints (global cardinality)