mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived > Struct Template Reference

#include <traverser.h>

Inheritance diagram for mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >:
mcrl2::state_formulas::state_formula_traverser< par_traverser > mcrl2::state_formulas::state_formula_traverser< count_modal_operator_nesting_traverser > mcrl2::state_formulas::state_formula_traverser< has_unscoped_modal_formula_traverser > mcrl2::state_formulas::state_formula_traverser< is_timed_traverser > mcrl2::state_formulas::state_formula_traverser< state_formula_data_variable_name_clash_checker > mcrl2::state_formulas::state_formula_traverser< state_variable_name_clash_checker > mcrl2::state_formulas::state_formula_traverser< state_variable_name_traverser > mcrl2::pbes_system::detail::par_traverser mcrl2::pres_system::detail::par_traverser mcrl2::state_formulas::detail::count_modal_operator_nesting_traverser mcrl2::state_formulas::detail::has_unscoped_modal_formula_traverser mcrl2::state_formulas::detail::is_timed_traverser mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_checker mcrl2::state_formulas::detail::state_variable_name_clash_checker mcrl2::state_formulas::detail::state_variable_name_traverser

Public Types

typedef Traverser< Derived > super
 

Public Member Functions

void apply (const state_formulas::true_ &x)
 
void apply (const state_formulas::false_ &x)
 
void apply (const state_formulas::not_ &x)
 
void apply (const state_formulas::minus &x)
 
void apply (const state_formulas::and_ &x)
 
void apply (const state_formulas::or_ &x)
 
void apply (const state_formulas::imp &x)
 
void apply (const state_formulas::plus &x)
 
void apply (const state_formulas::const_multiply &x)
 
void apply (const state_formulas::const_multiply_alt &x)
 
void apply (const state_formulas::forall &x)
 
void apply (const state_formulas::exists &x)
 
void apply (const state_formulas::infimum &x)
 
void apply (const state_formulas::supremum &x)
 
void apply (const state_formulas::sum &x)
 
void apply (const state_formulas::must &x)
 
void apply (const state_formulas::may &x)
 
void apply (const state_formulas::yaled &x)
 
void apply (const state_formulas::yaled_timed &x)
 
void apply (const state_formulas::delay &x)
 
void apply (const state_formulas::delay_timed &x)
 
void apply (const state_formulas::variable &x)
 
void apply (const state_formulas::nu &x)
 
void apply (const state_formulas::mu &x)
 
void apply (const state_formulas::state_formula_specification &x)
 
void apply (const state_formulas::state_formula &x)
 

Detailed Description

template<template< class > class Traverser, class Derived>
struct mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >

Definition at line 2171 of file traverser.h.

Member Typedef Documentation

◆ super

template<template< class > class Traverser, class Derived >
typedef Traverser<Derived> mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::super

Definition at line 2173 of file traverser.h.

Member Function Documentation

◆ apply() [1/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::and_ &  x)
inline

Definition at line 2206 of file traverser.h.

◆ apply() [2/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::const_multiply &  x)
inline

Definition at line 2238 of file traverser.h.

◆ apply() [3/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::const_multiply_alt &  x)
inline

Definition at line 2245 of file traverser.h.

◆ apply() [4/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::delay &  x)
inline

Definition at line 2315 of file traverser.h.

◆ apply() [5/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::delay_timed &  x)
inline

Definition at line 2322 of file traverser.h.

◆ apply() [6/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::exists &  x)
inline

Definition at line 2259 of file traverser.h.

◆ apply() [7/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::false_ &  x)
inline

Definition at line 2185 of file traverser.h.

◆ apply() [8/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::forall &  x)
inline

Definition at line 2252 of file traverser.h.

◆ apply() [9/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::imp &  x)
inline

Definition at line 2222 of file traverser.h.

◆ apply() [10/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::infimum &  x)
inline

Definition at line 2266 of file traverser.h.

◆ apply() [11/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::may &  x)
inline

Definition at line 2294 of file traverser.h.

◆ apply() [12/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::minus &  x)
inline

Definition at line 2199 of file traverser.h.

◆ apply() [13/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::mu &  x)
inline

Definition at line 2343 of file traverser.h.

◆ apply() [14/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::must &  x)
inline

Definition at line 2287 of file traverser.h.

◆ apply() [15/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::not_ &  x)
inline

Definition at line 2192 of file traverser.h.

◆ apply() [16/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::nu &  x)
inline

Definition at line 2336 of file traverser.h.

◆ apply() [17/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::or_ &  x)
inline

Definition at line 2214 of file traverser.h.

◆ apply() [18/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::plus &  x)
inline

Definition at line 2230 of file traverser.h.

◆ apply() [19/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::state_formula &  x)
inline

Definition at line 2357 of file traverser.h.

◆ apply() [20/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::state_formula_specification &  x)
inline

Definition at line 2350 of file traverser.h.

◆ apply() [21/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::sum &  x)
inline

Definition at line 2280 of file traverser.h.

◆ apply() [22/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::supremum &  x)
inline

Definition at line 2273 of file traverser.h.

◆ apply() [23/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::true_ &  x)
inline

Definition at line 2178 of file traverser.h.

◆ apply() [24/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::variable &  x)
inline

Definition at line 2329 of file traverser.h.

◆ apply() [25/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::yaled &  x)
inline

Definition at line 2301 of file traverser.h.

◆ apply() [26/26]

template<template< class > class Traverser, class Derived >
void mcrl2::state_formulas::add_traverser_state_formula_expressions< Traverser, Derived >::apply ( const state_formulas::yaled_timed &  x)
inline

Definition at line 2308 of file traverser.h.

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