#include <variable.h>
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 |
Definition at line 8 of file variable.h.
| Variable::Variable | ( | istream & | in | ) |
Definition at line 6 of file variable.cpp.
| 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.
| bool Variable::is_used_in_duration_condition | ( | ) | const |
Definition at line 50 of file variable.cpp.
| void Variable::set_comparison | ( | ) |
Definition at line 70 of file variable.cpp.
| void Variable::set_level | ( | int | level | ) |
Definition at line 20 of file variable.cpp.
| void Variable::set_module | ( | ) |
Definition at line 78 of file variable.cpp.
| void Variable::set_necessary | ( | ) |
Definition at line 29 of file variable.cpp.
| void Variable::set_subterm | ( | ) |
Definition at line 62 of file variable.cpp.
Definition at line 54 of file variable.cpp.
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.
bool Variable::used_in_duration_condition [private] |
Definition at line 18 of file variable.h.
