Public Member Functions | Private Attributes
Axiom_relational Class Reference

#include <axiom.h>

List of all members.

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< Conditionconditions
int effect_val
Variable * effect_var
int old_val

Detailed Description

Definition at line 22 of file axiom.h.

Constructor & Destructor Documentation

Axiom_relational::Axiom_relational ( istream &  in,
const vector< Variable * > &  variables 

Definition at line 10 of file axiom.cpp.

Member Function Documentation

void Axiom_relational::dump ( ) const

Definition at line 60 of file axiom.cpp.

void Axiom_relational::generate_cpp_input ( ostream &  outfile) const

Definition at line 73 of file axiom.cpp.

const vector<Condition>& Axiom_relational::get_conditions ( ) const [inline]

Definition at line 37 of file axiom.h.

int Axiom_relational::get_effect_val ( ) const [inline]

Definition at line 46 of file axiom.h.

Variable* Axiom_relational::get_effect_var ( ) const [inline]

Definition at line 40 of file axiom.h.

int Axiom_relational::get_old_val ( ) const [inline]

Definition at line 43 of file axiom.h.

Definition at line 29 of file axiom.cpp.

Member Data Documentation

Definition at line 30 of file axiom.h.

Definition at line 29 of file axiom.h.

Variable* Axiom_relational::effect_var [private]

Definition at line 27 of file axiom.h.

Definition at line 28 of file axiom.h.

The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:03