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.