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 |
Gecode::MiniModel::PosSet::PosSet | ( | void | ) | [inline] |
Gecode::MiniModel::PosSet::PosSet | ( | int | p | ) | [inline] |
bool Gecode::MiniModel::PosSet::in | ( | int | p | ) | const [inline] |
PosSetCmp Gecode::MiniModel::PosSet::cmp | ( | PosSet * | ps1, |
PosSet * | ps2 | ||
) | [inline, static] |
PosSet * Gecode::MiniModel::PosSet::cup | ( | PosSetAllocator & | psm, |
PosSet * | ps1, | ||
PosSet * | ps2 | ||
) | [static] |