specification_basic_type::stackoperations Class Reference

Public Member Functions
	stackoperations (const stackoperations &)=delete
stackoperations &	operator= (const stackoperations &)=delete
	stackoperations (const variable_list &pl, specification_basic_type &spec)
	~stackoperations ()=default
	stackoperations (const stackoperations &)=delete
stackoperations &	operator= (const stackoperations &)=delete
	stackoperations (const variable_list &pl, specification_basic_type &spec)
	~stackoperations ()=default

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 4075 of file linearise.cpp.

Constructor & Destructor Documentation

stackoperations() [1/4]

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

delete

stackoperations() [2/4]

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

inline

Definition at line 4093 of file linearise.cpp.

~stackoperations() [1/2]

specification_basic_type::stackoperations::~stackoperations ( )

default

stackoperations() [3/4]

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

delete

stackoperations() [4/4]

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

inline

Definition at line 4093 of file linearise.cpp.

~stackoperations() [2/2]

specification_basic_type::stackoperations::~stackoperations ( )

default

Member Function Documentation

operator=() [1/2]

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

delete

operator=() [2/2]

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

delete

Member Data Documentation

empty

data::function_symbol specification_basic_type::stackoperations::empty

Definition at line 4084 of file linearise.cpp.

emptystack

data::function_symbol specification_basic_type::stackoperations::emptystack

Definition at line 4083 of file linearise.cpp.

get

function_symbol_list specification_basic_type::stackoperations::get

Definition at line 4081 of file linearise.cpp.

getstate

data::function_symbol specification_basic_type::stackoperations::getstate

Definition at line 4086 of file linearise.cpp.

next

stackoperations * specification_basic_type::stackoperations::next

Definition at line 4087 of file linearise.cpp.

parameter_list

variable_list specification_basic_type::stackoperations::parameter_list

Definition at line 4078 of file linearise.cpp.

pop

data::function_symbol specification_basic_type::stackoperations::pop

Definition at line 4085 of file linearise.cpp.

push

data::function_symbol specification_basic_type::stackoperations::push

Definition at line 4082 of file linearise.cpp.

sorts

sort_expression_list specification_basic_type::stackoperations::sorts

Definition at line 4080 of file linearise.cpp.

stacksort

sort_expression specification_basic_type::stackoperations::stacksort

Definition at line 4079 of file linearise.cpp.

---

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

• lps/source/linearise.cpp