Test::Int::Bool::NaryConst Class Reference
[Boolean constraints]
Test for Nary Boolean operation with constant.
More...
List of all members.
Detailed Description
Test for Nary Boolean operation with constant.
Definition at line 273 of file bool.cpp.
Constructor & Destructor Documentation
Construct and register test.
Definition at line 281 of file bool.cpp.
Member Function Documentation
virtual bool Test::Int::Bool::NaryConst::solution |
( |
const Assignment & |
x |
) |
const [inline, virtual] |
Member Data Documentation
Boolean operation type for test.
Definition at line 276 of file bool.cpp.
Integer constant.
Definition at line 278 of file bool.cpp.
The documentation for this class was generated from the following file: