Axiom_relational(istream &in, const vector< Variable * > &variables) | Axiom_relational | |
conditions | Axiom_relational | [private] |
dump() const | Axiom_relational | |
effect_val | Axiom_relational | [private] |
effect_var | Axiom_relational | [private] |
generate_cpp_input(ostream &outfile) const | Axiom_relational | |
get_conditions() const | Axiom_relational | [inline] |
get_effect_val() const | Axiom_relational | [inline] |
get_effect_var() const | Axiom_relational | [inline] |
get_old_val() const | Axiom_relational | [inline] |
is_redundant() const | Axiom_relational | |
old_val | Axiom_relational | [private] |