mcrl2::lts::probabilistic_lts_fsm_t
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lts/lts_fsm.h

.. cpp:class:: mcrl2::lts::probabilistic_lts_fsm_t

  The class lts_fsm_t contains labelled transition systems in .fsm format. 

  The .fsm format consists of an labelled transition system where the action labels are strings, and the state labels are vectors of integers. The integers at position i corresponds to a string, which are maintained in a separate vector for memory efficiency. 

Public types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::lts::probabilistic_lts_fsm_t::super

  typedef for :cpp:type:`probabilistic_lts\< state_label_fsm, action_label_string, probabilistic_state_t, detail::lts_fsm_base >`
  
  

  

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

.. cpp:function:: void load(const std::string &filename)
  
  Save the labelled transition system to file. 

  If the filename is empty, the result is read from stdout. 
  
  **Parameters:**

  * **filename** Name of the file from which this lts is read. 



.. cpp:function:: void save(const std::string &filename) const
  
  Save the labelled transition system to file. 

  If the filename is empty, the result is written to stdout. 
  
  **Parameters:**

  * **filename** Name of the file to which this lts is written.