#include <axiom.h>
Public Member Functions | |
Axiom_relational (istream &in, const vector< Variable * > &variables) | |
void | dump () const |
void | generate_cpp_input (ostream &outfile) const |
const vector< Condition > & | get_conditions () const |
int | get_effect_val () const |
Variable * | get_effect_var () const |
int | get_old_val () const |
bool | is_redundant () const |
Private Attributes | |
vector< Condition > | conditions |
int | effect_val |
Variable * | effect_var |
int | old_val |
Axiom_relational::Axiom_relational | ( | istream & | in, |
const vector< Variable * > & | variables | ||
) |
void Axiom_relational::dump | ( | ) | const |
void Axiom_relational::generate_cpp_input | ( | ostream & | outfile | ) | const |
const vector<Condition>& Axiom_relational::get_conditions | ( | ) | const [inline] |
int Axiom_relational::get_effect_val | ( | ) | const [inline] |
Variable* Axiom_relational::get_effect_var | ( | ) | const [inline] |
int Axiom_relational::get_old_val | ( | ) | const [inline] |
bool Axiom_relational::is_redundant | ( | ) | const |
vector<Condition> Axiom_relational::conditions [private] |
int Axiom_relational::effect_val [private] |
Variable* Axiom_relational::effect_var [private] |
int Axiom_relational::old_val [private] |