mcrl2::lps::next_state_generator::transition_t

Include file:

#include "mcrl2/lps/next_state_generator.h
class mcrl2::lps::next_state_generator::transition_t

Public types

type state_probability_list

typedef for std::forward_list< state_probability_pair >

Protected attributes

lps::multi_action m_action
state_probability_list m_other_target_states
std::size_t m_summand_index
lps::state m_target_state

Public member functions

const lps::multi_action &action() const
const state_probability_list &other_target_states() const
void set_action(const lps::multi_action &action)
void set_other_target_states(const state_probability_list &other_target_states)
void set_summand_index(const std::size_t summand_index)
void set_target_state(const lps::state &target_state)
std::size_t summand_index() const
const lps::state &target_state() const