mcrl2::lps::add_traverser_data_expressions< Traverser, Derived > Struct Template Reference

#include <traverser.h>

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

Public Types
using	super = Traverser< Derived >

Public Member Functions
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)

Detailed Description

template<template< class > class Traverser, class Derived>
struct mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >

Definition at line 155 of file traverser.h.

Member Typedef Documentation

super

template<template< class > class Traverser, class Derived >

using mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::super = Traverser<Derived>

Definition at line 157 of file traverser.h.

Member Function Documentation

apply() [1/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::action_summand &  x )

inline

Definition at line 191 of file traverser.h.

apply() [2/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::deadlock &  x )

inline

Definition at line 162 of file traverser.h.

apply() [3/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::deadlock_summand &  x )

inline

Definition at line 183 of file traverser.h.

apply() [4/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::linear_process &  x )

inline

Definition at line 207 of file traverser.h.

apply() [5/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::multi_action &  x )

inline

Definition at line 172 of file traverser.h.

apply() [6/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::process_initializer &  x )

inline

Definition at line 200 of file traverser.h.

apply() [7/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::specification &  x )

inline

Definition at line 215 of file traverser.h.

apply() [8/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::stochastic_action_summand &  x )

inline

Definition at line 230 of file traverser.h.

apply() [9/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::stochastic_distribution &  x )

inline

Definition at line 223 of file traverser.h.

apply() [10/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::stochastic_linear_process &  x )

inline

Definition at line 240 of file traverser.h.

apply() [11/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::stochastic_process_initializer &  x )

inline

Definition at line 256 of file traverser.h.

apply() [12/12]

template<template< class > class Traverser, class Derived >

void mcrl2::lps::add_traverser_data_expressions< Traverser, Derived >::apply ( const lps::stochastic_specification &  x )

inline

Definition at line 248 of file traverser.h.

---

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

• lps/include/mcrl2/lps/traverser.h