#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

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.

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.

Definition at line 30 of file axiom.h.

Definition at line 29 of file axiom.h.

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: