
Class for generating reasonable assignments. More...
Public Member Functions | |
| CumulativeAssignment (int n, const Gecode::IntSet &d) | |
| Initialize assignments for n0 variables and values d0. | |
| virtual bool | operator() (void) const |
| Test whether all assignments have been iterated | |
| virtual void | operator++ (void) |
| Move to next assignment. | |
| virtual int | operator[] (int i) const |
| Return value for variable i. | |
| virtual | ~CumulativeAssignment (void) |
| Destructor. | |
Public Member Functions inherited from Test::Int::Assignment | |
| Assignment (int n0, const Gecode::IntSet &d0) | |
| Initialize assignments for n0 variables and values d0. | |
| int | size (void) const |
| Return number of variables. | |
| virtual | ~Assignment (void) |
| Destructor. | |
Additional Inherited Members | |
Protected Attributes inherited from Test::Int::Assignment | |
| int | n |
| Number of variables. | |
| Gecode::IntSet | d |
| Domain for each variable. | |
Class for generating reasonable assignments.
Definition at line 90 of file cumulatives.cpp.
|
inline |
Initialize assignments for n0 variables and values d0.
Definition at line 99 of file cumulatives.cpp.
|
inlinevirtual |
Destructor.
Definition at line 123 of file cumulatives.cpp.
|
inlinevirtual |
Test whether all assignments have been iterated
Implements Test::Int::Assignment.
Definition at line 108 of file cumulatives.cpp.
|
inlinevirtual |
Move to next assignment.
Implements Test::Int::Assignment.
Definition at line 112 of file cumulatives.cpp.
|
inlinevirtual |
Return value for variable i.
Implements Test::Int::Assignment.
Definition at line 118 of file cumulatives.cpp.