specification_basic_type::stackoperations

class specification_basic_type::stackoperations

Public attributes

data::function_symbol empty
data::function_symbol emptystack
function_symbol_list get
data::function_symbol getstate
stackoperations *next
variable_list parameter_list
data::function_symbol pop
data::function_symbol push
sort_expression_list sorts
sort_expression stacksort

Public member functions

stackoperations &operator=(const stackoperations&) = delete
stackoperations(const stackoperations&) = delete
stackoperations(const variable_list &pl, specification_basic_type &spec)
~stackoperations()