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

Public Types
using	super = find_equalities_traverser< data::data_expression_traverser, find_equalities_traverser_inst >

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

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	apply (const data::where_clause &x)

void	leave (const data::variable &x)

void	leave (const data::abstraction &x)

void	leave (const data::function_symbol &f)

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 441 of file find_equalities.h.

Member Typedef Documentation

Definition at line 443 of file find_equalities.h.

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