mCRL2
Loading...
Searching...
No Matches
mcrl2::lps::explorer< Stochastic, Timed, Specification >::transition Struct Reference

#include <explorer.h>

Public Member Functions

 transition (lps::multi_action action_, const state_type &state_)
 

Public Attributes

lps::multi_action action
 
state_type state
 

Detailed Description

template<bool Stochastic, bool Timed, typename Specification>
struct mcrl2::lps::explorer< Stochastic, Timed, Specification >::transition

Definition at line 458 of file explorer.h.

Constructor & Destructor Documentation

◆ transition()

template<bool Stochastic, bool Timed, typename Specification >
mcrl2::lps::explorer< Stochastic, Timed, Specification >::transition::transition ( lps::multi_action  action_,
const state_type state_ 
)
inline

Definition at line 463 of file explorer.h.

Member Data Documentation

◆ action

template<bool Stochastic, bool Timed, typename Specification >
lps::multi_action mcrl2::lps::explorer< Stochastic, Timed, Specification >::transition::action

Definition at line 460 of file explorer.h.

◆ state

template<bool Stochastic, bool Timed, typename Specification >
state_type mcrl2::lps::explorer< Stochastic, Timed, Specification >::transition::state

Definition at line 461 of file explorer.h.


The documentation for this struct was generated from the following file: