specification_basic_type::enumeratedtype
===============================================================================

.. cpp:class:: specification_basic_type::enumeratedtype

  

  

Public attributes
-------------------------------------------------------------------------------

.. cpp:member:: data_expression_list specification_basic_type::enumeratedtype::elementnames
  
  

  

.. cpp:member:: function_symbol_list specification_basic_type::enumeratedtype::functions
  
  

  

.. cpp:member:: std::size_t specification_basic_type::enumeratedtype::size
  
  

  

.. cpp:member:: sort_expression specification_basic_type::enumeratedtype::sortId
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: enumeratedtype(const enumeratedtype &e)
  
  

  

.. cpp:function:: enumeratedtype(const std::size_t n, specification_basic_type &spec)
  
  

  

.. cpp:function:: void operator=(const enumeratedtype &e)
  
  

  

.. cpp:function:: ~enumeratedtype()