specification_basic_type::stacklisttype Class Reference

Public Member Functions
	stacklisttype (const stacklisttype &)=delete
stacklisttype &	operator= (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 ()=default
	stacklisttype (const stacklisttype &)=delete
stacklisttype &	operator= (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 ()=default

Static Public Member Functions
static stackoperations *	find_suitable_stack_operations (const variable_list &parameters, stackoperations *stack_operations_list)
static stackoperations *	find_suitable_stack_operations (const variable_list &parameters, stackoperations *stack_operations_list)

Public Attributes
stackoperations *	opns
variable_list	parameters
variable	stackvar
std::size_t	no_of_states
variable_list	booleanStateVariables

Detailed Description

Definition at line 4135 of file linearise.cpp.

Constructor & Destructor Documentation

stacklisttype() [1/4]

specification_basic_type::stacklisttype::stacklisttype ( const stacklisttype &  )

delete

stacklisttype() [2/4]

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

inline

Constructor.

Definition at line 4173 of file linearise.cpp.

~stacklisttype() [1/2]

specification_basic_type::stacklisttype::~stacklisttype ( )

default

stacklisttype() [3/4]

specification_basic_type::stacklisttype::stacklisttype ( const stacklisttype &  )

delete

stacklisttype() [4/4]

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

inline

Constructor.

Definition at line 4173 of file linearise.cpp.

~stacklisttype() [2/2]

specification_basic_type::stacklisttype::~stacklisttype ( )

default

Member Function Documentation

find_suitable_stack_operations() [1/2]

static stackoperations * specification_basic_type::stacklisttype::find_suitable_stack_operations ( const variable_list &  parameters, stackoperations *  stack_operations_list  )

inlinestatic

Definition at line 4157 of file linearise.cpp.

find_suitable_stack_operations() [2/2]

static stackoperations * specification_basic_type::stacklisttype::find_suitable_stack_operations ( const variable_list &  parameters, stackoperations *  stack_operations_list  )

inlinestatic

Definition at line 4157 of file linearise.cpp.

operator=() [1/2]

stacklisttype & specification_basic_type::stacklisttype::operator= ( const stacklisttype &  )

delete

operator=() [2/2]

stacklisttype & specification_basic_type::stacklisttype::operator= ( const stacklisttype &  )

delete

Member Data Documentation

booleanStateVariables

variable_list specification_basic_type::stacklisttype::booleanStateVariables

Definition at line 4145 of file linearise.cpp.

no_of_states

std::size_t specification_basic_type::stacklisttype::no_of_states

Definition at line 4141 of file linearise.cpp.

opns

stackoperations * specification_basic_type::stacklisttype::opns

Definition at line 4138 of file linearise.cpp.

parameters

variable_list specification_basic_type::stacklisttype::parameters

Definition at line 4139 of file linearise.cpp.

stackvar

variable specification_basic_type::stacklisttype::stackvar

Definition at line 4140 of file linearise.cpp.

---

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

• lps/source/linearise.cpp