objectdatatype

class objectdatatype

Public attributes

bool objectdatatype::canterminate

bool objectdatatype::constructor

bool objectdatatype::containstime

std::set<variable> objectdatatype::free_variables

bool objectdatatype::free_variables_defined

process::action_label_list objectdatatype::multi_action_names

objecttype objectdatatype::object

identifier_string objectdatatype::objectname

variable_list objectdatatype::old_parameters

variable_list objectdatatype::parameters

process_identifier objectdatatype::process_representing_action

process_expression objectdatatype::processbody

processstatustype objectdatatype::processstatus

process_expression objectdatatype::representedprocess

Public member functions

objectdatatype()

objectdatatype(const objectdatatype &o)

const objectdatatype &operator=(const objectdatatype &o)

~objectdatatype()