objectdatatype Class Reference

Public Member Functions
	objectdatatype ()
	objectdatatype (const objectdatatype &o)
const objectdatatype &	operator= (const objectdatatype &o)
	~objectdatatype ()

Public Attributes
identifier_string	objectname
process::action_label_list	multi_action_names
bool	constructor
process_expression	representedprocess
process_identifier	process_representing_action
process_expression	processbody
std::set< variable >	free_variables
bool	free_variables_defined
variable_list	parameters
variable_list	old_parameters
processstatustype	processstatus
objecttype	object
bool	canterminate
bool	containstime

Detailed Description

Definition at line 85 of file linearise.cpp.

Constructor & Destructor Documentation

objectdatatype() [1/2]

objectdatatype::objectdatatype ( )

inline

Definition at line 104 of file linearise.cpp.

objectdatatype() [2/2]

objectdatatype::objectdatatype ( const objectdatatype &  o )

inline

Definition at line 113 of file linearise.cpp.

~objectdatatype()

objectdatatype::~objectdatatype ( )

inline

Definition at line 148 of file linearise.cpp.

Member Function Documentation

operator=()

const objectdatatype & objectdatatype::operator= ( const objectdatatype &  o )

inline

Definition at line 130 of file linearise.cpp.

Member Data Documentation

canterminate

bool objectdatatype::canterminate

Definition at line 101 of file linearise.cpp.

constructor

bool objectdatatype::constructor

Definition at line 90 of file linearise.cpp.

containstime

bool objectdatatype::containstime

Definition at line 102 of file linearise.cpp.

free_variables

std::set<variable> objectdatatype::free_variables

Definition at line 95 of file linearise.cpp.

free_variables_defined

bool objectdatatype::free_variables_defined

Definition at line 96 of file linearise.cpp.

multi_action_names

process::action_label_list objectdatatype::multi_action_names

Definition at line 89 of file linearise.cpp.

object

objecttype objectdatatype::object

Definition at line 100 of file linearise.cpp.

objectname

identifier_string objectdatatype::objectname

Definition at line 88 of file linearise.cpp.

old_parameters

variable_list objectdatatype::old_parameters

Definition at line 98 of file linearise.cpp.

parameters

variable_list objectdatatype::parameters

Definition at line 97 of file linearise.cpp.

process_representing_action

process_identifier objectdatatype::process_representing_action

Definition at line 92 of file linearise.cpp.

processbody

process_expression objectdatatype::processbody

Definition at line 94 of file linearise.cpp.

processstatus

processstatustype objectdatatype::processstatus

Definition at line 99 of file linearise.cpp.

representedprocess

process_expression objectdatatype::representedprocess

Definition at line 91 of file linearise.cpp.

---

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

• lps/source/linearise.cpp