mCRL2
Loading...
Searching...
No Matches
mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived > Struct Template Reference

#include <traverser.h>

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

Public Types

typedef Traverser< Derived > super
 

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_sort_expressions< Traverser, Derived >

Definition at line 28 of file traverser.h.

Member Typedef Documentation

◆ super

template<template< class > class Traverser, class Derived >
typedef Traverser<Derived> mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::super

Definition at line 30 of file traverser.h.

Member Function Documentation

◆ apply() [1/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::action_summand x)
inline

Definition at line 65 of file traverser.h.

◆ apply() [2/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::deadlock x)
inline

Definition at line 35 of file traverser.h.

◆ apply() [3/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::deadlock_summand x)
inline

Definition at line 56 of file traverser.h.

◆ apply() [4/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::linear_process x)
inline

Definition at line 82 of file traverser.h.

◆ apply() [5/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::multi_action x)
inline

Definition at line 45 of file traverser.h.

◆ apply() [6/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::process_initializer x)
inline

Definition at line 75 of file traverser.h.

◆ apply() [7/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::specification x)
inline

Definition at line 91 of file traverser.h.

◆ apply() [8/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::stochastic_action_summand x)
inline

Definition at line 109 of file traverser.h.

◆ apply() [9/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::stochastic_distribution x)
inline

Definition at line 101 of file traverser.h.

◆ apply() [10/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::stochastic_linear_process x)
inline

Definition at line 120 of file traverser.h.

◆ apply() [11/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::stochastic_process_initializer x)
inline

Definition at line 139 of file traverser.h.

◆ apply() [12/12]

template<template< class > class Traverser, class Derived >
void mcrl2::lps::add_traverser_sort_expressions< Traverser, Derived >::apply ( const lps::stochastic_specification x)
inline

Definition at line 129 of file traverser.h.


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