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< Condition >	conditions
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.

bool Axiom_relational::is_redundant

(

)

const

Definition at line 29 of file axiom.cpp.

---

Member Data Documentation

vector<Condition> Axiom_relational::conditions [private]

Definition at line 30 of file axiom.h.

int Axiom_relational::effect_val [private]

Definition at line 29 of file axiom.h.

Variable* Axiom_relational::effect_var [private]

Definition at line 27 of file axiom.h.

int Axiom_relational::old_val [private]

Definition at line 28 of file axiom.h.

---

The documentation for this class was generated from the following files:

• axiom.h
• axiom.cpp