mcrl2::lps::next_state_generator::transition_t
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lps/next_state_generator.h

.. cpp:class:: mcrl2::lps::next_state_generator::transition_t

  

  

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

.. cpp:type:: mcrl2::lps::next_state_generator::transition_t::state_probability_list

  typedef for :cpp:type:`std::forward_list\< state_probability_pair >`
  
  

  

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

.. cpp:member:: lps::multi_action mcrl2::lps::next_state_generator::transition_t::m_action
  
  

  

.. cpp:member:: state_probability_list mcrl2::lps::next_state_generator::transition_t::m_other_target_states
  
  

  

.. cpp:member:: std::size_t mcrl2::lps::next_state_generator::transition_t::m_summand_index
  
  

  

.. cpp:member:: lps::state mcrl2::lps::next_state_generator::transition_t::m_target_state
  
  

  

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

.. cpp:function:: const lps::multi_action& action() const
  
  

  

.. cpp:function:: const state_probability_list& other_target_states() const
  
  

  

.. cpp:function:: void set_action(const lps::multi_action &action)
  
  

  

.. cpp:function:: void set_other_target_states(const state_probability_list &other_target_states)
  
  

  

.. cpp:function:: void set_summand_index(const std::size_t summand_index)
  
  

  

.. cpp:function:: void set_target_state(const lps::state &target_state)
  
  

  

.. cpp:function:: std::size_t summand_index() const
  
  

  

.. cpp:function:: const lps::state& target_state() const