| Axiom_functional(istream &in, const vector< Variable * > &variables, bool comparison) | Axiom_functional | |
| comparison | Axiom_functional | [private] |
| cop | Axiom_functional | |
| dump() const | Axiom_functional | |
| effect_var | Axiom_functional | [private] |
| fop | Axiom_functional | |
| generate_cpp_input(ostream &outfile) const | Axiom_functional | |
| get_effect_var() const | Axiom_functional | [inline] |
| get_left_var() const | Axiom_functional | [inline] |
| get_operator() const | Axiom_functional | [inline] |
| get_right_var() const | Axiom_functional | [inline] |
| is_comparison() const | Axiom_functional | [inline] |
| is_redundant() const | Axiom_functional | |
| left_var | Axiom_functional | [private] |
| right_var | Axiom_functional | [private] |
| set_comparison() | Axiom_functional | [inline] |
| set_operator(foperator _fop) | Axiom_functional | [inline] |