Inheritance diagram for mcrl2::data::detail::find_equalities_traverser_inst:

Public Types
typedef find_equalities_traverser< data::data_expression_traverser, find_equalities_traverser_inst >	super

Public Types inherited from mcrl2::data::detail::find_equalities_traverser< data::data_expression_traverser, find_equalities_traverser_inst >
typedef data::data_expression_traverser< find_equalities_traverser_inst >	super

Additional Inherited Members
Public Member Functions inherited from mcrl2::data::detail::find_equalities_traverser< data::data_expression_traverser, find_equalities_traverser_inst >
find_equalities_traverser_inst &	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 inherited from mcrl2::data::detail::find_equalities_traverser< data::data_expression_traverser, find_equalities_traverser_inst >
std::vector< find_equalities_expression >	expression_stack

Detailed Description

Definition at line 438 of file find_equalities.h.

Member Typedef Documentation

Definition at line 440 of file find_equalities.h.

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