| dump() const | Prevail | |
| is_applicable(const TimeStampedState &state, bool allowRelaxed=false) const | Prevail | |
| operator<(const Prevail &other) const | Prevail | [inline] |
| prev | Prevail | |
| Prevail(istream &in) | Prevail | |
| Prevail(int v, double p) | Prevail | [inline] |
| var | Prevail | |
| ~Prevail() | Prevail | [inline, virtual] |