Test::Int::Bool::ClauseConst Class Reference
[Boolean constraints]
Test for Clause Boolean operation with constant
More...
List of all members.
Detailed Description
Test for Clause Boolean operation with constant
Definition at line 403 of file bool.cpp.
Constructor & Destructor Documentation
Test::Int::Bool::ClauseConst::ClauseConst |
( |
Gecode::BoolOpType |
op0, |
|
|
int |
n, |
|
|
int |
c0 | |
|
) |
| | [inline] |
Construct and register test.
Definition at line 411 of file bool.cpp.
Member Function Documentation
virtual bool Test::Int::Bool::ClauseConst::solution |
( |
const Assignment & |
x |
) |
const [inline, virtual] |
Member Data Documentation
Boolean operation type for test.
Definition at line 406 of file bool.cpp.
Integer constant.
Definition at line 408 of file bool.cpp.
The documentation for this class was generated from the following file: