Generate all set assignments. More...
#include <set.hh>
Public Member Functions | |
| SetAssignment (int n, const Gecode::IntSet &d, int i=0) | |
| Initialize with n set variables, initial bound d and i int variables. | |
| bool | operator() (void) const |
| Test whether all assignments have been iterated. | |
| void | operator++ (void) |
| Move to next assignment. | |
| int | operator[] (int i) const |
| Return value for variable i. | |
| int | intval (void) const |
| Return value for first integer variable. | |
| const Test::Int::Assignment & | ints (void) const |
| Return assignment for integer variables. | |
| int | size (void) const |
| Return arity. | |
| ~SetAssignment (void) | |
| Destructor. | |
Public Attributes | |
| Gecode::IntSet | lub |
| The common superset for all domains. | |
| int | withInt |
| How many integer variables to iterate. | |
| Test::Set::SetAssignment::SetAssignment | ( | int | n, |
| const Gecode::IntSet & | d, | ||
| int | i = 0 |
||
| ) |
| Test::Set::SetAssignment::~SetAssignment | ( | void | ) | [inline] |
| bool Test::Set::SetAssignment::operator() | ( | void | ) | const [inline] |
| void Test::Set::SetAssignment::operator++ | ( | void | ) |
| int Test::Set::SetAssignment::operator[] | ( | int | i | ) | const [inline] |
| int Test::Set::SetAssignment::intval | ( | void | ) | const [inline] |
| const Test::Int::Assignment& Test::Set::SetAssignment::ints | ( | void | ) | const [inline] |
| int Test::Set::SetAssignment::size | ( | void | ) | const [inline] |