mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::transition Member List

This is the complete list of members for mcrl2::lts::transition, including all inherited members.

from() constmcrl2::lts::transitioninline
label() constmcrl2::lts::transitioninline
m_frommcrl2::lts::transitionprivate
m_labelmcrl2::lts::transitionprivate
m_tomcrl2::lts::transitionprivate
operator!=(const transition &t) constmcrl2::lts::transitioninline
operator<(const transition &t) constmcrl2::lts::transitioninline
operator=(const transition &t)=defaultmcrl2::lts::transition
operator=(transition &&t)=defaultmcrl2::lts::transition
operator==(const transition &t) constmcrl2::lts::transitioninline
set_from(const size_type from)mcrl2::lts::transitioninline
set_label(const size_type label)mcrl2::lts::transitioninline
set_to(const size_type to)mcrl2::lts::transitioninline
size_type typedefmcrl2::lts::transition
to() constmcrl2::lts::transitioninline
transition()=deletemcrl2::lts::transition
transition(const std::size_t f, const std::size_t l, const std::size_t t)mcrl2::lts::transitioninline
transition(const transition &t)=defaultmcrl2::lts::transition
transition(transition &&t)=defaultmcrl2::lts::transition