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 * **** { if deserialization failed } .. cpp:function:: std::vector 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 * **** { 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)