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