Public Member Functions | Public Attributes | Private Attributes
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.

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.

Definition at line 111 of file axiom.cpp.

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

Definition at line 59 of file axiom.h.

Definition at line 62 of file axiom.h.

Variable* Axiom_functional::effect_var [private]

Definition at line 56 of file axiom.h.

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:
 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