Test::Int::Count::IntArrayVar Class Reference
[Count constraints]
Test number of several equal integers equal to integer variable
More...
List of all members.
Detailed Description
Test number of several equal integers equal to integer variable
Definition at line 201 of file count.cpp.
Constructor & Destructor Documentation
Member Function Documentation
virtual bool Test::Int::Count::IntArrayVar::solution |
( |
const Assignment & |
x |
) |
const [inline, virtual] |
Member Data Documentation
Integer relation type to propagate.
Definition at line 204 of file count.cpp.
The documentation for this class was generated from the following file: