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

#include <traverser.h>

Inheritance diagram for mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >:
mcrl2::pres_system::pres_expression_traverser< edge_condition_traverser > mcrl2::pres_system::pres_expression_traverser< find_free_variables_traverser > mcrl2::pres_system::pres_expression_traverser< find_quantifier_variables_traverser > mcrl2::pres_system::pres_expression_traverser< has_propositional_variables_traverser > mcrl2::pres_system::pres_expression_traverser< has_quantifier_name_clashes_traverser > mcrl2::pres_system::pres_expression_traverser< occurring_variable_visitor > mcrl2::pres_system::pres_expression_traverser< significant_variables_traverser > mcrl2::pres_system::pres_expression_traverser< parelm_dependency_traverser >

Public Types

typedef Traverser< Derived > super
 

Public Member Functions

void apply (const pres_system::pres_equation &x)
 
void apply (const pres_system::pres &x)
 
void apply (const pres_system::propositional_variable_instantiation &x)
 
void apply (const pres_system::minus &x)
 
void apply (const pres_system::and_ &x)
 
void apply (const pres_system::or_ &x)
 
void apply (const pres_system::imp &x)
 
void apply (const pres_system::plus &x)
 
void apply (const pres_system::const_multiply &x)
 
void apply (const pres_system::const_multiply_alt &x)
 
void apply (const pres_system::infimum &x)
 
void apply (const pres_system::supremum &x)
 
void apply (const pres_system::sum &x)
 
void apply (const pres_system::eqinf &x)
 
void apply (const pres_system::eqninf &x)
 
void apply (const pres_system::condsm &x)
 
void apply (const pres_system::condeq &x)
 
void apply (const pres_system::pres_expression &x)
 

Detailed Description

template<template< class > class Traverser, class Derived>
struct mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >

Definition at line 499 of file traverser.h.

Member Typedef Documentation

◆ super

template<template< class > class Traverser, class Derived >
typedef Traverser<Derived> mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::super

Definition at line 501 of file traverser.h.

Member Function Documentation

◆ apply() [1/18]

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

Definition at line 534 of file traverser.h.

◆ apply() [2/18]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::apply ( const pres_system::condeq &  x)
inline

Definition at line 624 of file traverser.h.

◆ apply() [3/18]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::apply ( const pres_system::condsm &  x)
inline

Definition at line 615 of file traverser.h.

◆ apply() [4/18]

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

Definition at line 566 of file traverser.h.

◆ apply() [5/18]

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

Definition at line 573 of file traverser.h.

◆ apply() [6/18]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::apply ( const pres_system::eqinf &  x)
inline

Definition at line 601 of file traverser.h.

◆ apply() [7/18]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::apply ( const pres_system::eqninf &  x)
inline

Definition at line 608 of file traverser.h.

◆ apply() [8/18]

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

Definition at line 550 of file traverser.h.

◆ apply() [9/18]

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

Definition at line 580 of file traverser.h.

◆ apply() [10/18]

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

Definition at line 527 of file traverser.h.

◆ apply() [11/18]

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

Definition at line 542 of file traverser.h.

◆ apply() [12/18]

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

Definition at line 558 of file traverser.h.

◆ apply() [13/18]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::apply ( const pres_system::pres &  x)
inline

Definition at line 513 of file traverser.h.

◆ apply() [14/18]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::apply ( const pres_system::pres_equation &  x)
inline

Definition at line 506 of file traverser.h.

◆ apply() [15/18]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::apply ( const pres_system::pres_expression &  x)
inline

Definition at line 633 of file traverser.h.

◆ apply() [16/18]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::add_traverser_pres_expressions< Traverser, Derived >::apply ( const pres_system::propositional_variable_instantiation &  x)
inline

Definition at line 520 of file traverser.h.

◆ apply() [17/18]

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

Definition at line 594 of file traverser.h.

◆ apply() [18/18]

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

Definition at line 587 of file traverser.h.

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