Boolean constraints
[Testing finite domain integers]
Classes | |
class | Test::Int::Bool::BinXYZ |
Test for binary Boolean operation. More... | |
class | Test::Int::Bool::BinXXY |
Test for binary Boolean operation with shared variables. More... | |
class | Test::Int::Bool::BinXYX |
Test for binary Boolean operation with shared variables. More... | |
class | Test::Int::Bool::BinXYY |
Test for binary Boolean operation with shared variables. More... | |
class | Test::Int::Bool::BinXXX |
Test for binary Boolean operation with shared variables. More... | |
class | Test::Int::Bool::BinConstXY |
Test for binary Boolean operation with constant. More... | |
class | Test::Int::Bool::BinConstXX |
Test for binary Boolean operation with shared variables and constant. More... | |
class | Test::Int::Bool::Nary |
Test for Nary Boolean operation. More... | |
class | Test::Int::Bool::NaryShared |
Test for Nary Boolean operation. More... | |
class | Test::Int::Bool::NaryConst |
Test for Nary Boolean operation with constant. More... | |
class | Test::Int::Bool::Create |
Help class to create and register tests. More... | |
Variables | |
Create | Test::Int::Bool::c |
Variable Documentation
Create Test::Int::Bool::c |