
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 |
| PosSet * Gecode::MiniModel::PosSet::cup | ( | PosSetAllocator & | psm, |
| PosSet * | ps1, | ||
| PosSet * | ps2 | ||
| ) | [static] |