specification_basic_type::stackoperations

class specification_basic_type::stackoperations

Public attributes

data::function_symbol specification_basic_type::stackoperations::empty

data::function_symbol specification_basic_type::stackoperations::emptystack

function_symbol_list specification_basic_type::stackoperations::get

data::function_symbol specification_basic_type::stackoperations::getstate

stackoperations *specification_basic_type::stackoperations::next

variable_list specification_basic_type::stackoperations::parameter_list

data::function_symbol specification_basic_type::stackoperations::pop

data::function_symbol specification_basic_type::stackoperations::push

sort_expression_list specification_basic_type::stackoperations::sorts

sort_expression specification_basic_type::stackoperations::stacksort

Public member functions

stackoperations &operator=(const stackoperations&) = delete

stackoperations(const stackoperations&) = delete

stackoperations(const variable_list &pl, specification_basic_type &spec)

~stackoperations()