mCRL2
|
#include <explorer.h>
Public Member Functions | |
transition (lps::multi_action action_, const state_type &state_) | |
Public Attributes | |
lps::multi_action | action |
state_type | state |
Definition at line 458 of file explorer.h.
|
inline |
Definition at line 463 of file explorer.h.
lps::multi_action mcrl2::lps::explorer< Stochastic, Timed, Specification >::transition::action |
Definition at line 460 of file explorer.h.
state_type mcrl2::lps::explorer< Stochastic, Timed, Specification >::transition::state |
Definition at line 461 of file explorer.h.