mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::lps::detail::is_stochastic_traverser Struct Reference

#include <is_stochastic.h>

Inheritance diagram for mcrl2::lps::detail::is_stochastic_traverser:
mcrl2::lps::data_expression_traverser< is_stochastic_traverser > mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >

Public Types

typedef lps::data_expression_traverser< is_stochastic_traverser > super
 
- Public Types inherited from mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >
typedef Traverser< Derived > super
 

Public Member Functions

 is_stochastic_traverser ()
 
void apply (const lps::stochastic_distribution &x)
 
- Public Member Functions inherited from mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >
void apply (const lps::deadlock &x)
 
void apply (const lps::multi_action &x)
 
void apply (const lps::deadlock_summand &x)
 
void apply (const lps::action_summand &x)
 
void apply (const lps::process_initializer &x)
 
void apply (const lps::linear_process &x)
 
void apply (const lps::specification &x)
 
void apply (const lps::stochastic_distribution &x)
 
void apply (const lps::stochastic_action_summand &x)
 
void apply (const lps::stochastic_linear_process &x)
 
void apply (const lps::stochastic_specification &x)
 
void apply (const lps::stochastic_process_initializer &x)
 

Public Attributes

bool result
 

Detailed Description

Definition at line 23 of file is_stochastic.h.

Member Typedef Documentation

◆ super

typedef lps::data_expression_traverser<is_stochastic_traverser> mcrl2::lps::detail::is_stochastic_traverser::super

Definition at line 25 of file is_stochastic.h.

Constructor & Destructor Documentation

◆ is_stochastic_traverser()

mcrl2::lps::detail::is_stochastic_traverser::is_stochastic_traverser ( )
inline

Definition at line 32 of file is_stochastic.h.

Member Function Documentation

◆ apply()

void mcrl2::lps::detail::is_stochastic_traverser::apply ( const lps::stochastic_distribution &  x)
inline

Definition at line 36 of file is_stochastic.h.

Member Data Documentation

◆ result

bool mcrl2::lps::detail::is_stochastic_traverser::result

Definition at line 30 of file is_stochastic.h.

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