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