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 468 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 471 of file rel.cpp.
How many variables in total.
Definition at line 473 of file rel.cpp.
How big is the first array.
Definition at line 475 of file rel.cpp.
The documentation for this class was generated from the following file: