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