mCRL2
|
#include <find_equalities.h>
Public Types | |
typedef pres_system::detail::find_equalities_traverser< pres_system::data_expression_traverser, find_equalities_traverser_inst > | super |
![]() | |
typedef data::detail::find_equalities_traverser< pres_system::data_expression_traverser, find_equalities_traverser_inst > | super |
![]() | |
typedef Traverser< Derived > | super |
Definition at line 118 of file find_equalities.h.
typedef pres_system::detail::find_equalities_traverser<pres_system::data_expression_traverser, find_equalities_traverser_inst> mcrl2::pres_system::detail::find_equalities_traverser_inst::super |
Definition at line 120 of file find_equalities.h.