Test::Int::Rel::IntArrayDiff Class Reference
[Relation constraints]
Test for relation between differently sized arrays of integer variables
More...
List of all members.
Detailed Description
Test for relation between differently sized arrays of integer variables
Definition at line 472 of file rel.cpp.
Constructor & Destructor Documentation
Member Function Documentation
virtual bool Test::Int::Rel::IntArrayDiff::solution |
( |
const Assignment & |
x |
) |
const [inline, virtual] |
Member Data Documentation
Integer relation type to propagate.
Definition at line 475 of file rel.cpp.
How many variables in total.
Definition at line 477 of file rel.cpp.
How big is the first array.
Definition at line 479 of file rel.cpp.
The documentation for this class was generated from the following file: