#include <state.h>
Public Member Functions | |
void | dump () const |
bool | is_applicable (const TimeStampedState &state, bool allowRelaxed=false) const |
bool | operator< (const Prevail &other) const |
Prevail (istream &in) | |
Prevail (int v, double p) | |
virtual | ~Prevail () |
Public Attributes | |
double | prev |
int | var |
Definition at line 17 of file search/state.h.
Prevail::Prevail | ( | istream & | in | ) |
Definition at line 10 of file search/operator.cpp.
Prevail::Prevail | ( | int | v, |
double | p | ||
) | [inline] |
Definition at line 22 of file search/state.h.
virtual Prevail::~Prevail | ( | ) | [inline, virtual] |
Definition at line 26 of file search/state.h.
void Prevail::dump | ( | ) | const |
Definition at line 163 of file search/operator.cpp.
bool Prevail::is_applicable | ( | const TimeStampedState & | state, |
bool | allowRelaxed = false |
||
) | const |
Definition at line 15 of file search/operator.cpp.
bool Prevail::operator< | ( | const Prevail & | other | ) | const [inline] |
Definition at line 34 of file search/state.h.
double Prevail::prev |
Definition at line 20 of file search/state.h.
int Prevail::var |
Definition at line 19 of file search/state.h.