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

#include <find_equalities.h>

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

Public Types

typedef Traverser< Derived > super
 

Public Member Functions

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 leave (const data::where_clause &)
 

Public Attributes

std::vector< find_equalities_expression > expression_stack
 

Detailed Description

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

Definition at line 239 of file find_equalities.h.

Member Typedef Documentation

◆ super

template<template< class > class Traverser, class Derived >
typedef Traverser<Derived> mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::super

Definition at line 241 of file find_equalities.h.

Member Function Documentation

◆ apply()

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 303 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 270 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 276 of file find_equalities.h.

◆ derived()

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

Definition at line 248 of file find_equalities.h.

◆ leave() [1/4]

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 411 of file find_equalities.h.

◆ leave() [2/4]

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 416 of file find_equalities.h.

◆ leave() [3/4]

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 399 of file find_equalities.h.

◆ leave() [4/4]

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

Definition at line 432 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 294 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 253 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 258 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 264 of file find_equalities.h.

◆ two_below_top() [1/2]

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

Definition at line 282 of file find_equalities.h.

◆ two_below_top() [2/2]

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

Definition at line 288 of file find_equalities.h.

Member Data Documentation

◆ expression_stack

template<template< class > class Traverser, class Derived >
std::vector<find_equalities_expression> mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >::expression_stack

Definition at line 246 of file find_equalities.h.

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