#include <state.h>
Public Member Functions | |
bool | does_fire (const TimeStampedState &state) const |
void | dump () const |
bool | is_applicable (const TimeStampedState &state) const |
PrePost () | |
PrePost (std::istream &in) | |
PrePost (int v, double pr, int vpo, double po, const std::vector< Prevail > &co_start, const std::vector< Prevail > &co_oa, const std::vector< Prevail > &co_end, assignment_op fo=assign) | |
PrePost (int v, double p) | |
virtual | ~PrePost () |
Public Attributes | |
vector< Prevail > | cond_end |
vector< Prevail > | cond_overall |
vector< Prevail > | cond_start |
assignment_op | fop |
double | post |
double | pre |
int | var |
int | var_post |
Definition at line 43 of file search/state.h.
PrePost::PrePost | ( | ) | [inline] |
Definition at line 54 of file search/state.h.
PrePost::PrePost | ( | std::istream & | in | ) |
PrePost::PrePost | ( | int | v, |
double | pr, | ||
int | vpo, | ||
double | po, | ||
const std::vector< Prevail > & | co_start, | ||
const std::vector< Prevail > & | co_oa, | ||
const std::vector< Prevail > & | co_end, | ||
assignment_op | fo = assign |
||
) | [inline] |
Definition at line 58 of file search/state.h.
PrePost::PrePost | ( | int | v, |
double | p | ||
) | [inline] |
Definition at line 65 of file search/state.h.
virtual PrePost::~PrePost | ( | ) | [inline, virtual] |
Definition at line 66 of file search/state.h.
bool PrePost::does_fire | ( | const TimeStampedState & | state | ) | const [inline] |
Definition at line 70 of file search/state.h.
void PrePost::dump | ( | ) | const |
Definition at line 168 of file search/operator.cpp.
bool PrePost::is_applicable | ( | const TimeStampedState & | state | ) | const |
Definition at line 76 of file search/operator.cpp.
vector<Prevail> PrePost::cond_end |
Definition at line 51 of file search/state.h.
vector<Prevail> PrePost::cond_overall |
Definition at line 50 of file search/state.h.
vector<Prevail> PrePost::cond_start |
Definition at line 49 of file search/state.h.
Definition at line 52 of file search/state.h.
double PrePost::post |
Definition at line 48 of file search/state.h.
double PrePost::pre |
Definition at line 46 of file search/state.h.
int PrePost::var |
Definition at line 45 of file search/state.h.
Definition at line 47 of file search/state.h.