
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] |