Axiom_functional Class Reference

#include <axiom.h>

List of all members.

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

---

Detailed Description

Definition at line 51 of file axiom.h.

---

Constructor & Destructor Documentation

Axiom_functional::Axiom_functional	(	istream &	in,
		const vector< Variable * > &	variables,
		bool	comparison
	)

Definition at line 88 of file axiom.cpp.

---

Member Function Documentation

void Axiom_functional::dump

(

)

const

Definition at line 116 of file axiom.cpp.

void Axiom_functional::generate_cpp_input

(

ostream &

outfile

)

const

Definition at line 137 of file axiom.cpp.

Variable* Axiom_functional::get_effect_var

(

)

const [inline]

Definition at line 70 of file axiom.h.

Variable* Axiom_functional::get_left_var

(

)

const [inline]

Definition at line 73 of file axiom.h.

foperator Axiom_functional::get_operator

(

)

const [inline]

Definition at line 79 of file axiom.h.

Variable* Axiom_functional::get_right_var

(

)

const [inline]

Definition at line 76 of file axiom.h.

bool Axiom_functional::is_comparison

(

)

const [inline]

Definition at line 85 of file axiom.h.

bool Axiom_functional::is_redundant

(

)

const

Definition at line 111 of file axiom.cpp.

void Axiom_functional::set_comparison

(

)

[inline]

Definition at line 88 of file axiom.h.

void Axiom_functional::set_operator

(

foperator

_fop

)

[inline]

Definition at line 82 of file axiom.h.

---

Member Data Documentation

bool Axiom_functional::comparison [private]

Definition at line 59 of file axiom.h.

compoperator Axiom_functional::cop

Definition at line 62 of file axiom.h.

Variable* Axiom_functional::effect_var [private]

Definition at line 56 of file axiom.h.

foperator Axiom_functional::fop

Definition at line 61 of file axiom.h.

Variable* Axiom_functional::left_var [private]

Definition at line 57 of file axiom.h.

Variable* Axiom_functional::right_var [private]

Definition at line 58 of file axiom.h.

---

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

• axiom.h
• axiom.cpp