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