mCRL2
Loading...
Searching...
No Matches
Public Types | List of all members
mcrl2::pbes_system::detail::find_equalities_traverser_inst Struct Reference

#include <find_equalities.h>

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

Public Types

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

Additional Inherited Members

- Public Member Functions inherited from mcrl2::pbes_system::detail::find_equalities_traverser< pbes_system::data_expression_traverser, find_equalities_traverser_inst >
find_equalities_traverser_inst & derived ()
 
void leave (const and_ &)
 
void leave (const or_ &)
 
void leave (const imp &)
 
void leave (const not_ &)
 
void leave (const forall &x)
 
void leave (const exists &x)
 
void leave (const data::variable &x)
 
void leave (const data::abstraction &x)
 
void leave (const data::function_symbol &f)
 
void apply (const propositional_variable_instantiation &)
 
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)
 
- Public Attributes inherited from mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >
std::vector< find_equalities_expression > expression_stack
 

Detailed Description

Definition at line 92 of file find_equalities.h.

Member Typedef Documentation

◆ super

using mcrl2::pbes_system::detail::find_equalities_traverser_inst::super = pbes_system::detail::find_equalities_traverser<pbes_system::data_expression_traverser, find_equalities_traverser_inst>

Definition at line 94 of file find_equalities.h.

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