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

#include <find_equalities.h>

Inheritance diagram for mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >:
mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >

Public Types

using super = data::detail::find_equalities_traverser< Traverser, Derived >
 
- Public Types inherited from mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >
using super = Traverser< Derived >
 

Public Member Functions

Derived & derived ()
 
void leave (const and_ &)
 
void leave (const or_ &)
 
void leave (const imp &)
 
void apply (const plus &)
 
void apply (const const_multiply &)
 
void apply (const const_multiply_alt &)
 
void leave (const minus &)
 
void leave (const supremum &x)
 
void leave (const infimum &x)
 
void apply (const sum &)
 
void apply (const propositional_variable_instantiation &)
 
void leave (const data::variable &x)
 
void leave (const data::abstraction &x)
 
void leave (const data::function_symbol &f)
 
void apply (const data::application &x)
 
void apply (const data::where_clause &x)
 
void push (const find_equalities_expression &x)
 
find_equalities_expression pop ()
 
find_equalities_expression & top ()
 
const find_equalities_expression & top () const
 
find_equalities_expression & below_top ()
 
const find_equalities_expression & below_top () const
 
- Public Member Functions inherited from mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >
Derived & derived ()
 
void push (const find_equalities_expression &x)
 
find_equalities_expression & top ()
 
const find_equalities_expression & top () const
 
find_equalities_expression & below_top ()
 
const find_equalities_expression & below_top () const
 
find_equalities_expression & two_below_top ()
 
const find_equalities_expression & two_below_top () const
 
find_equalities_expression pop ()
 
void apply (const data::application &x)
 
void leave (const data::variable &x)
 
void leave (const data::abstraction &x)
 
void leave (const data::function_symbol &f)
 
void apply (const data::where_clause &x)
 

Additional Inherited Members

- Public Attributes inherited from mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >
std::vector< find_equalities_expression > expression_stack
 

Detailed Description

template<template< class > class Traverser, class Derived>
struct mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >

Definition at line 23 of file find_equalities.h.

Member Typedef Documentation

◆ super

template<template< class > class Traverser, class Derived >
using mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::super = data::detail::find_equalities_traverser<Traverser, Derived>

Definition at line 25 of file find_equalities.h.

Member Function Documentation

◆ apply() [1/7]

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

Definition at line 73 of file find_equalities.h.

◆ apply() [2/7]

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

Definition at line 79 of file find_equalities.h.

◆ apply() [3/7]

template<template< class > class Traverser, class Derived >
void mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::apply ( const data::application &  x)
inline

Definition at line 300 of file find_equalities.h.

◆ apply() [4/7]

template<template< class > class Traverser, class Derived >
void mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::apply ( const data::where_clause &  x)
inline

Definition at line 429 of file find_equalities.h.

◆ apply() [5/7]

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

Definition at line 65 of file find_equalities.h.

◆ apply() [6/7]

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

Definition at line 106 of file find_equalities.h.

◆ apply() [7/7]

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

Definition at line 100 of file find_equalities.h.

◆ below_top() [1/2]

template<template< class > class Traverser, class Derived >
find_equalities_expression & mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::below_top ( )
inline

Definition at line 267 of file find_equalities.h.

◆ below_top() [2/2]

template<template< class > class Traverser, class Derived >
const find_equalities_expression & mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::below_top ( ) const
inline

Definition at line 273 of file find_equalities.h.

◆ derived()

template<template< class > class Traverser, class Derived >
Derived & mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::derived ( )
inline

Definition at line 34 of file find_equalities.h.

◆ leave() [1/9]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::leave ( const and_ &  )
inline

Definition at line 39 of file find_equalities.h.

◆ leave() [2/9]

template<template< class > class Traverser, class Derived >
void mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::leave ( const data::abstraction &  x)
inline

Definition at line 408 of file find_equalities.h.

◆ leave() [3/9]

template<template< class > class Traverser, class Derived >
void mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::leave ( const data::function_symbol &  f)
inline

Definition at line 413 of file find_equalities.h.

◆ leave() [4/9]

template<template< class > class Traverser, class Derived >
void mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::leave ( const data::variable &  x)
inline

Definition at line 396 of file find_equalities.h.

◆ leave() [5/9]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::leave ( const imp &  )
inline

Definition at line 55 of file find_equalities.h.

◆ leave() [6/9]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::leave ( const infimum &  x)
inline

Definition at line 94 of file find_equalities.h.

◆ leave() [7/9]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::leave ( const minus &  )
inline

Definition at line 84 of file find_equalities.h.

◆ leave() [8/9]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::leave ( const or_ &  )
inline

Definition at line 47 of file find_equalities.h.

◆ leave() [9/9]

template<template< class > class Traverser, class Derived >
void mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::leave ( const supremum &  x)
inline

Definition at line 89 of file find_equalities.h.

◆ pop()

template<template< class > class Traverser, class Derived >
find_equalities_expression mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::pop ( )
inline

Definition at line 291 of file find_equalities.h.

◆ push()

template<template< class > class Traverser, class Derived >
void mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::push ( const find_equalities_expression &  x)
inline

Definition at line 250 of file find_equalities.h.

◆ top() [1/2]

template<template< class > class Traverser, class Derived >
find_equalities_expression & mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::top ( )
inline

Definition at line 255 of file find_equalities.h.

◆ top() [2/2]

template<template< class > class Traverser, class Derived >
const find_equalities_expression & mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::top ( ) const
inline

Definition at line 261 of file find_equalities.h.

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