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

Definition at line 333 of file bool.cc.