specification_basic_type::stacklisttype

class specification_basic_type::stacklisttype

Public attributes

variable_list specification_basic_type::stacklisttype::booleanStateVariables

std::size_t specification_basic_type::stacklisttype::no_of_states

stackoperations *specification_basic_type::stacklisttype::opns

variable_list specification_basic_type::stacklisttype::parameters

variable specification_basic_type::stacklisttype::stackvar

Public member functions

stackoperations *find_suitable_stack_operations(const variable_list &parameters, stackoperations *stack_operations_list)

stacklisttype &operator=(const stacklisttype&) = delete

stacklisttype(const stacklisttype&) = delete

stacklisttype(const variable_list &parlist, specification_basic_type &spec, const bool regular, const std::set<process_identifier> &pCRLprocs, const bool singlecontrolstate)

Constructor.

~stacklisttype()