#include <axiom.h>
Public Member Functions | |
Axiom_functional (istream &in, const vector< Variable * > &variables, bool comparison) | |
void | dump () const |
void | generate_cpp_input (ostream &outfile) const |
Variable * | get_effect_var () const |
Variable * | get_left_var () const |
foperator | get_operator () const |
Variable * | get_right_var () const |
bool | is_comparison () const |
bool | is_redundant () const |
void | set_comparison () |
void | set_operator (foperator _fop) |
Public Attributes | |
compoperator | cop |
foperator | fop |
Private Attributes | |
bool | comparison |
Variable * | effect_var |
Variable * | left_var |
Variable * | right_var |
Axiom_functional::Axiom_functional | ( | istream & | in, |
const vector< Variable * > & | variables, | ||
bool | comparison | ||
) |
void Axiom_functional::dump | ( | ) | const |
void Axiom_functional::generate_cpp_input | ( | ostream & | outfile | ) | const |
Variable* Axiom_functional::get_effect_var | ( | ) | const [inline] |
Variable* Axiom_functional::get_left_var | ( | ) | const [inline] |
foperator Axiom_functional::get_operator | ( | ) | const [inline] |
Variable* Axiom_functional::get_right_var | ( | ) | const [inline] |
bool Axiom_functional::is_comparison | ( | ) | const [inline] |
bool Axiom_functional::is_redundant | ( | ) | const |
void Axiom_functional::set_comparison | ( | ) | [inline] |
void Axiom_functional::set_operator | ( | foperator | _fop | ) | [inline] |
bool Axiom_functional::comparison [private] |
Variable* Axiom_functional::effect_var [private] |
Variable* Axiom_functional::left_var [private] |
Variable* Axiom_functional::right_var [private] |