mCRL2
|
This is the complete list of members for specification_basic_type::enumtype, including all inherited members.
enumeratedtype_index | specification_basic_type::enumtype | |
enumtype(const enumtype &)=delete | specification_basic_type::enumtype | |
enumtype(std::size_t n, const sort_expression_list &fsorts, const sort_expression_list &gsorts, specification_basic_type &spec) | specification_basic_type::enumtype | inline |
operator=(const enumtype &)=delete | specification_basic_type::enumtype | |
var | specification_basic_type::enumtype | |
~enumtype() | specification_basic_type::enumtype | inline |