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 mcrl2::lps::next_state_generator::transition_t::state_probability_list

typedef for std::forward_list< state_probability_pair >

Protected attributes

lps::multi_action mcrl2::lps::next_state_generator::transition_t::m_action

state_probability_list mcrl2::lps::next_state_generator::transition_t::m_other_target_states

std::size_t mcrl2::lps::next_state_generator::transition_t::m_summand_index

lps::state mcrl2::lps::next_state_generator::transition_t::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