mcrl2::lts::detail::aterm_probabilistic_transition_list

class mcrl2::lts::detail::aterm_probabilistic_transition_list

Below we introduce aterm representations for a list with all transition, which can subsequently be stored as an aterm.

Public member functions

aterm_probabilistic_transition_list()
aterm_probabilistic_transition_list(const std::size_t source, const std::size_t label, const probabilistic_lts_lts_t::probabilistic_state_t &target, const aterm_probabilistic_transition_list &next_transition)
aterm_probabilistic_transition_list(const std::size_t source, const std::size_t label, const std::size_t target, const aterm_probabilistic_transition_list &next_transition)
bool is_probabilistic_transition()
std::size_t label() const
const aterm_probabilistic_transition_list &next() const
std::size_t plain_target() const
probabilistic_lts_lts_t::probabilistic_state_t probabilistic_target() const
std::size_t source() const