specification_basic_type::enumtype¶

class specification_basic_type::enumtype¶

Public attributes¶

std::size_t specification_basic_type::enumtype::enumeratedtype_index¶

variable specification_basic_type::enumtype::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()¶