Generate all set assignments.
More...
#include <set.hh>
Generate all set assignments.
Definition at line 158 of file set.hh.
Test::Set::SetAssignment::SetAssignment |
( |
int |
n, |
|
|
const Gecode::IntSet & |
d, |
|
|
int |
i = 0 |
|
) |
| |
Initialize with n set variables, initial bound d and i int variables.
Definition at line 72 of file set.cpp.
Test::Set::SetAssignment::~SetAssignment |
( |
void |
| ) |
|
|
inline |
Destructor.
Definition at line 191 of file set.hh.
bool Test::Set::SetAssignment::operator() |
( |
void |
| ) |
const |
|
inline |
Test whether all assignments have been iterated.
Definition at line 176 of file set.hh.
void Test::Set::SetAssignment::operator++ |
( |
void |
| ) |
|
Move to next assignment.
Definition at line 80 of file set.cpp.
int Test::Set::SetAssignment::operator[] |
( |
int |
i | ) |
const |
|
inline |
Return value for variable i.
Definition at line 180 of file set.hh.
int Test::Set::SetAssignment::intval |
( |
void |
| ) |
const |
|
inline |
Return value for first integer variable.
Definition at line 185 of file set.hh.
Return assignment for integer variables.
Definition at line 187 of file set.hh.
int Test::Set::SetAssignment::size |
( |
void |
| ) |
const |
|
inline |
Return arity.
Definition at line 189 of file set.hh.
The common superset for all domains.
Definition at line 170 of file set.hh.
int Test::Set::SetAssignment::withInt |
How many integer variables to iterate.
Definition at line 172 of file set.hh.
The documentation for this class was generated from the following files: