mcrl2::lps::state_data_type
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lps/ltsmin.h

.. cpp:class:: mcrl2::lps::state_data_type

  Models the mapping of mCRL2 state values to integers. 

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: std::string mcrl2::lps::state_data_type::m_name
  
  

  

.. cpp:member:: data::sort_expression mcrl2::lps::state_data_type::m_sort
  
  

  

Protected member functions
-------------------------------------------------------------------------------

.. cpp:function:: std::size_t expression2index(const data::data_expression &x)
  
  

  

.. cpp:function:: data::data_expression index2expression(std::size_t i) const
  
  

  

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

.. cpp:function:: std::size_t deserialize(const std::string &s) override
  
  Deserializes a string to a data value, and returns the corresponding index. If the value is not in the mapping, it will be added. 

  
      
  **Returns:** The index of the data value. exception  * **<std::runtime_error>** { if deserialization failed } 



.. cpp:function:: std::vector<std::string> generate_values(std::size_t max_size) const override
  
  Generates possible values of the data type (at most max_size). 

  

.. cpp:function:: const std::string& name() const override
  
  Returns the name of the data type. 

  

.. cpp:function:: std::size_t parse(const std::string &s) override
  
  Parses a string to a data value, and returns the corresponding index. If the value is not in the mapping, it will be added. 

  
      
  **Returns:** The index of the data value. exception  * **<std::runtime_error>** { if parsing failed } 



.. cpp:function:: std::string print(int i) const override
  
  Returns a human readable representation of the value with index i. N.B. It is not guaranteed that parse(print(i)) == i. 

  
      
  **Pre:** i is a valid index 

.. cpp:function:: std::string serialize(int i) const override
  
  Serializes the i-th value of the data type to a binary string. It is guaranteed that serialize(deserialize(i)) == i. 

  
      
  **Pre:** i is a valid index 

.. cpp:function:: state_data_type(const data::data_specification &data, const process::action_label_list &action_labels, const data::sort_expression &sort, bool sort_is_finite)