Operator Member List
This is the complete list of members for Operator, 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_condOperator [private]
duration_varOperator [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_endOperator [private]
mod_effs_startOperator [private]
module_effs_endOperator [private]
module_effs_startOperator [private]
nameOperator [private]
numerical_effs_endOperator [private]
numerical_effs_startOperator [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_endOperator [private]
pre_post_startOperator [private]
prevail_endOperator [private]
prevail_overallOperator [private]
prevail_startOperator [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]


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06