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.

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.

void Variable::set_used_in_duration_condition

(

)

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.

bool Variable::used_in_duration_condition [private]

Definition at line 18 of file variable.h.

---

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

• variable.h
• variable.cpp