Counting constraints (global cardinality)
[Testing finite domain integers]
Classes | |
| class | Test::Int::GCC::IntAllMinMax |
| Test for integer cardinality with min and max for all variables. More... | |
| class | Test::Int::GCC::IntAllMinMaxDef |
| Test for integer cardinality with min and max for all variables. More... | |
| class | Test::Int::GCC::IntAllMax |
| Test for integer cardinality with max cardinality for all variables. More... | |
| class | Test::Int::GCC::IntSome< hole > |
| Test for integer cardinality for some variables. More... | |
| class | Test::Int::GCC::VarAll |
| Test for variable cardinality for all cardinality values. More... | |
| class | Test::Int::GCC::VarSome |
| Test for variable cardinality for some cardinality values. More... | |
| class | Test::Int::GCC::Create |
| Help class to create and register tests. More... | |
Variables | |
| Create | Test::Int::GCC::c |
Variable Documentation
| Create Test::Int::GCC::c |