Test::Int::Rel::BoolVarXX Class Reference
[Relation constraints]
Test for simple relation involving shared Boolean variables
More...
List of all members.
Detailed Description
Test for simple relation involving shared Boolean variables
Definition at line 159 of file rel.cpp.
Constructor & Destructor Documentation
Member Function Documentation
virtual bool Test::Int::Rel::BoolVarXX::solution |
( |
const Assignment & |
x |
) |
const [inline, virtual] |
Member Data Documentation
Integer relation type to propagate.
Definition at line 162 of file rel.cpp.
The documentation for this class was generated from the following file: