Sets of positions. More...
Public Member Functions | |
PosSet (void) | |
PosSet (int) | |
bool | in (int) const |
Static Public Member Functions | |
static PosSetCmp | cmp (PosSet *, PosSet *) |
static PosSet * | cup (PosSetAllocator &, PosSet *, PosSet *) |
Public Attributes | |
int | pos |
PosSet * | next |
Sets of positions.
PosSet * Gecode::MiniModel::PosSet::cup | ( | PosSetAllocator & | psm, |
PosSet * | ps1, | ||
PosSet * | ps2 | ||
) | [static] |