, including all inherited members.
| achievesPrecond(const vector< PrePost > &effects, const vector< Prevail > &conds) const | Operator | [private] |
| achievesPrecond(const vector< PrePost > &effs1, const vector< PrePost > &effs2) const | Operator | [private] |
| deletesPrecond(const vector< Prevail > &conds, const vector< PrePost > &effects) const | Operator | [private] |
| deletesPrecond(const vector< PrePost > &effs1, const vector< PrePost > &effs2) const | Operator | [private] |
| dump() const | Operator | |
| dump() const | Operator | |
| duration_cond | Operator | [private] |
| duration_var | Operator | [private] |
| enables(const Operator *other) const | Operator | |
| generate_cpp_input(ostream &outfile) const | Operator | |
| get_duration(const TimeStampedState *state, bool relaxed=false) const | Operator | |
| get_duration_cond() const | Operator | [inline] |
| get_duration_var() const | Operator | [inline] |
| get_mod_effs_end() const | Operator | [inline] |
| get_mod_effs_start() const | Operator | [inline] |
| get_name() const | Operator | [inline] |
| get_name() const | Operator | [inline] |
| get_numerical_effs_end() const | Operator | [inline] |
| get_numerical_effs_start() const | Operator | [inline] |
| get_pre_post_end() const | Operator | [inline] |
| get_pre_post_end() const | Operator | [inline] |
| get_pre_post_start() const | Operator | [inline] |
| get_pre_post_start() const | Operator | [inline] |
| get_prevail_end() const | Operator | [inline] |
| get_prevail_end() const | Operator | [inline] |
| get_prevail_overall() const | Operator | [inline] |
| get_prevail_overall() const | Operator | [inline] |
| get_prevail_start() const | Operator | [inline] |
| get_prevail_start() const | Operator | [inline] |
| is_applicable(const TimeStampedState &state, bool allowRelaxed=false, TimedSymbolicStates *timedSymbolicStates=NULL) const | Operator | |
| is_redundant() const | Operator | |
| isDisabledBy(const Operator *other) const | Operator | |
| mod_effs_end | Operator | [private] |
| mod_effs_start | Operator | [private] |
| module_effs_end | Operator | [private] |
| module_effs_start | Operator | [private] |
| name | Operator | [private] |
| numerical_effs_end | Operator | [private] |
| numerical_effs_start | Operator | [private] |
| Operator(istream &in, const vector< Variable * > &variables) | Operator | |
| Operator(std::istream &in) | Operator | |
| Operator(bool uses_concrete_time_information) | Operator | [explicit] |
| operator<(const Operator &other) const | Operator | |
| pre_post_end | Operator | [private] |
| pre_post_start | Operator | [private] |
| prevail_end | Operator | [private] |
| prevail_overall | Operator | [private] |
| prevail_start | Operator | [private] |
| sort_prevails(vector< Prevail > &prevails) | Operator | [private] |
| strip_unimportant_effects() | Operator | |
| write_effect_conds(ostream &outfile, const vector< EffCond > &conds) const | Operator | |
| write_module_effect(ostream &outfile, const vector< ModuleEffect > &mod_effs) const | Operator | |
| write_num_effect(ostream &outfile, const vector< NumericalEffect > &num_effs) const | Operator | |
| write_pre_posts(ostream &outfile, const vector< PrePost > &pre_posts) const | Operator | |
| write_prevails(ostream &outfile, const vector< Prevail > &prevails) const | Operator | |
| writesOnSameVar(const vector< PrePost > &conds, const vector< PrePost > &effects) const | Operator | [private] |
| ~Operator() | Operator | [inline, virtual] |