objectdatatype Class Reference

Public Member Functions
std::set< variable >	get_free_variables () const
	objectdatatype ()=default
	objectdatatype (const objectdatatype &o)=default
objectdatatype &	operator= (const objectdatatype &o)=default
	~objectdatatype ()=default
std::set< variable >	get_free_variables () const
	objectdatatype ()=default
	objectdatatype (const objectdatatype &o)=default
objectdatatype &	operator= (const objectdatatype &o)=default
	~objectdatatype ()=default

Public Attributes
identifier_string	objectname
variable_list	parameters
process::action_label_list	multi_action_names
bool	constructor =false
process_expression	representedprocess
process_identifier	process_representing_action
process_expression	processbody
processstatustype	processstatus =unknown
objecttype	object =none
bool	canterminate =false
bool	containstime =false

Detailed Description

Definition at line 104 of file linearise.cpp.

Constructor & Destructor Documentation

objectdatatype() [1/4]

objectdatatype::objectdatatype ( )

default

objectdatatype() [2/4]

objectdatatype::objectdatatype ( const objectdatatype &  o )

default

~objectdatatype() [1/2]

objectdatatype::~objectdatatype ( )

default

objectdatatype() [3/4]

objectdatatype::objectdatatype ( )

default

objectdatatype() [4/4]

objectdatatype::objectdatatype ( const objectdatatype &  o )

default

~objectdatatype() [2/2]

objectdatatype::~objectdatatype ( )

default

Member Function Documentation

get_free_variables() [1/2]

std::set< variable > objectdatatype::get_free_variables ( ) const

inline

Definition at line 120 of file linearise.cpp.

get_free_variables() [2/2]

std::set< variable > objectdatatype::get_free_variables ( ) const

inline

Definition at line 120 of file linearise.cpp.

operator=() [1/2]

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

default

operator=() [2/2]

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

default

Member Data Documentation

canterminate

bool objectdatatype::canterminate =false

Definition at line 117 of file linearise.cpp.

constructor

bool objectdatatype::constructor =false

Definition at line 110 of file linearise.cpp.

containstime

bool objectdatatype::containstime =false

Definition at line 118 of file linearise.cpp.

multi_action_names

process::action_label_list objectdatatype::multi_action_names

Definition at line 109 of file linearise.cpp.

object

objecttype objectdatatype::object =none

Definition at line 116 of file linearise.cpp.

objectname

identifier_string objectdatatype::objectname

Definition at line 107 of file linearise.cpp.

parameters

variable_list objectdatatype::parameters

Definition at line 108 of file linearise.cpp.

process_representing_action

process_identifier objectdatatype::process_representing_action

Definition at line 112 of file linearise.cpp.

processbody

process_expression objectdatatype::processbody

Definition at line 114 of file linearise.cpp.

processstatus

processstatustype objectdatatype::processstatus =unknown

Definition at line 115 of file linearise.cpp.

representedprocess

process_expression objectdatatype::representedprocess

Definition at line 111 of file linearise.cpp.

---

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

• lps/source/linearise.cpp