specification_basic_type::enumtype

class specification_basic_type::enumtype

Public attributes

std::size_t enumeratedtype_index
variable var

Public member functions

enumtype(const enumtype&) = delete
enumtype(std::size_t n, const sort_expression_list &fsorts, const sort_expression_list &gsorts, specification_basic_type &spec)
enumtype &operator=(const enumtype&) = delete
~enumtype()