Public Member Functions
	stackoperations (const stackoperations &)=delete

stackoperations &	operator= (const stackoperations &)=delete

	stackoperations (const variable_list &pl, specification_basic_type &spec)

	~stackoperations ()

Public Attributes
variable_list	parameter_list

sort_expression	stacksort

sort_expression_list	sorts

function_symbol_list	get

data::function_symbol	push

data::function_symbol	emptystack

data::function_symbol	empty

data::function_symbol	pop

data::function_symbol	getstate

stackoperations *	next

Detailed Description

Definition at line 4305 of file linearise.cpp.

Constructor & Destructor Documentation

◆ stackoperations() [1/2]

specification_basic_type::stackoperations::stackoperations ( const stackoperations & )

delete

◆ stackoperations() [2/2]

specification_basic_type::stackoperations::stackoperations	(	const variable_list &	pl,
		specification_basic_type &	spec
	)

inline

Definition at line 4323 of file linearise.cpp.

◆ ~stackoperations()

specification_basic_type::stackoperations::~stackoperations ( )

inline

Definition at line 4362 of file linearise.cpp.

Member Function Documentation

◆ operator=()

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

delete

Member Data Documentation

◆ empty

data::function_symbol specification_basic_type::stackoperations::empty

Definition at line 4314 of file linearise.cpp.

◆ emptystack

data::function_symbol specification_basic_type::stackoperations::emptystack

Definition at line 4313 of file linearise.cpp.

◆ get

function_symbol_list specification_basic_type::stackoperations::get

Definition at line 4311 of file linearise.cpp.

◆ getstate

data::function_symbol specification_basic_type::stackoperations::getstate

Definition at line 4316 of file linearise.cpp.

◆ next

stackoperations* specification_basic_type::stackoperations::next

Definition at line 4317 of file linearise.cpp.

◆ parameter_list

variable_list specification_basic_type::stackoperations::parameter_list

Definition at line 4308 of file linearise.cpp.

◆ pop

data::function_symbol specification_basic_type::stackoperations::pop

Definition at line 4315 of file linearise.cpp.

◆ push

data::function_symbol specification_basic_type::stackoperations::push

Definition at line 4312 of file linearise.cpp.

◆ sorts

sort_expression_list specification_basic_type::stackoperations::sorts

Definition at line 4310 of file linearise.cpp.

◆ stacksort

sort_expression specification_basic_type::stackoperations::stacksort

Definition at line 4309 of file linearise.cpp.

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

lps/source/linearise.cpp

Public Member Functions

Public Attributes