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