objectdatatype

class objectdatatype

Public attributes

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

Public member functions

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