mCRL2
|
#include <find_equalities.h>
Public Types | |
typedef data::detail::find_equalities_traverser< Traverser, Derived > | super |
![]() | |
typedef Traverser< Derived > | super |
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 |
![]() | |
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 | |
![]() | |
std::vector< find_equalities_expression > | expression_stack |
Definition at line 25 of file find_equalities.h.
typedef data::detail::find_equalities_traverser<Traverser, Derived> mcrl2::pres_system::detail::find_equalities_traverser< Traverser, Derived >::super |
Definition at line 27 of file find_equalities.h.
|
inline |
Definition at line 75 of file find_equalities.h.
|
inline |
Definition at line 81 of file find_equalities.h.
|
inline |
Definition at line 303 of file find_equalities.h.
|
inline |
Definition at line 432 of file find_equalities.h.
|
inline |
Definition at line 67 of file find_equalities.h.
|
inline |
Definition at line 108 of file find_equalities.h.
|
inline |
Definition at line 102 of file find_equalities.h.
|
inline |
Definition at line 270 of file find_equalities.h.
|
inline |
Definition at line 276 of file find_equalities.h.
|
inline |
Definition at line 36 of file find_equalities.h.
|
inline |
Definition at line 41 of file find_equalities.h.
|
inline |
Definition at line 411 of file find_equalities.h.
|
inline |
Definition at line 416 of file find_equalities.h.
|
inline |
Definition at line 399 of file find_equalities.h.
|
inline |
Definition at line 57 of file find_equalities.h.
|
inline |
Definition at line 96 of file find_equalities.h.
|
inline |
Definition at line 86 of file find_equalities.h.
|
inline |
Definition at line 49 of file find_equalities.h.
|
inline |
Definition at line 91 of file find_equalities.h.
|
inline |
Definition at line 294 of file find_equalities.h.
|
inline |
Definition at line 253 of file find_equalities.h.
|
inline |
Definition at line 258 of file find_equalities.h.
|
inline |
Definition at line 264 of file find_equalities.h.