Public Member Functions | Private Attributes
Variable Class Reference

#include <variable.h>

List of all members.

Public Member Functions

void dump () const
int get_layer () const
int get_level () const
string get_name () const
int get_range () const
bool is_comparison () const
bool is_derived () const
bool is_functional () const
bool is_module () const
bool is_necessary () const
bool is_subterm () const
bool is_used_in_duration_condition () const
void set_comparison ()
void set_level (int level)
void set_module ()
void set_necessary ()
void set_subterm ()
void set_used_in_duration_condition ()
 Variable (istream &in)

Private Attributes

bool comparison
bool functional
int layer
int level
bool module
string name
bool necessary
int range
bool subterm
bool used_in_duration_condition

Detailed Description

Definition at line 8 of file variable.h.


Constructor & Destructor Documentation

Variable::Variable ( istream &  in)

Definition at line 6 of file variable.cpp.


Member Function Documentation

void Variable::dump ( ) const

Definition at line 82 of file variable.cpp.

int Variable::get_layer ( ) const [inline]

Definition at line 28 of file variable.h.

int Variable::get_level ( ) const

Definition at line 25 of file variable.cpp.

string Variable::get_name ( ) const

Definition at line 38 of file variable.cpp.

int Variable::get_range ( ) const

Definition at line 34 of file variable.cpp.

bool Variable::is_comparison ( ) const

Definition at line 66 of file variable.cpp.

bool Variable::is_derived ( ) const [inline]

Definition at line 29 of file variable.h.

bool Variable::is_functional ( ) const

Definition at line 46 of file variable.cpp.

bool Variable::is_module ( ) const

Definition at line 74 of file variable.cpp.

bool Variable::is_necessary ( ) const

Definition at line 42 of file variable.cpp.

bool Variable::is_subterm ( ) const

Definition at line 58 of file variable.cpp.

Definition at line 50 of file variable.cpp.

Definition at line 70 of file variable.cpp.

void Variable::set_level ( int  level)

Definition at line 20 of file variable.cpp.

Definition at line 78 of file variable.cpp.

Definition at line 29 of file variable.cpp.

Definition at line 62 of file variable.cpp.

Definition at line 54 of file variable.cpp.


Member Data Documentation

bool Variable::comparison [private]

Definition at line 17 of file variable.h.

bool Variable::functional [private]

Definition at line 15 of file variable.h.

int Variable::layer [private]

Definition at line 12 of file variable.h.

int Variable::level [private]

Definition at line 13 of file variable.h.

bool Variable::module [private]

Definition at line 19 of file variable.h.

string Variable::name [private]

Definition at line 11 of file variable.h.

bool Variable::necessary [private]

Definition at line 14 of file variable.h.

int Variable::range [private]

Definition at line 10 of file variable.h.

bool Variable::subterm [private]

Definition at line 16 of file variable.h.

Definition at line 18 of file variable.h.


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


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06