mcrl2::data::detail::is_untyped_traverser Struct Reference

#include <is_untyped.h>

Inheritance diagram for mcrl2::data::detail::is_untyped_traverser:

Public Types
typedef sort_expression_traverser< is_untyped_traverser >	super
Public Types inherited from mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >
typedef Traverser< Derived >	super

Public Member Functions
	is_untyped_traverser ()
void	apply (const data::untyped_identifier &)
void	apply (const data::untyped_identifier_assignment &)
void	apply (const data::untyped_sort &)
void	apply (const data::untyped_possible_sorts &)
void	apply (const data::untyped_set_or_bag_comprehension &)
void	apply (const data::structured_sort_constructor_argument &)
void	apply (const data::structured_sort_constructor &)
Public Member Functions inherited from mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >
void	apply (const data::variable &x)
void	apply (const data::function_symbol &x)
void	apply (const data::application &x)
void	apply (const data::where_clause &x)
void	apply (const data::machine_number &x)
void	apply (const data::untyped_identifier &x)
void	apply (const data::assignment &x)
void	apply (const data::untyped_identifier_assignment &x)
void	apply (const data::basic_sort &x)
void	apply (const data::container_sort &x)
void	apply (const data::structured_sort &x)
void	apply (const data::function_sort &x)
void	apply (const data::untyped_sort &x)
void	apply (const data::untyped_possible_sorts &x)
void	apply (const data::untyped_sort_variable &x)
void	apply (const data::forall &x)
void	apply (const data::exists &x)
void	apply (const data::lambda &x)
void	apply (const data::set_comprehension &x)
void	apply (const data::bag_comprehension &x)
void	apply (const data::untyped_set_or_bag_comprehension &x)
void	apply (const data::structured_sort_constructor_argument &x)
void	apply (const data::structured_sort_constructor &x)
void	apply (const data::alias &x)
void	apply (const data::data_equation &x)
void	apply (const data::untyped_data_parameter &x)
void	apply (const data::data_expression &x)
void	apply (const data::assignment_expression &x)
void	apply (const data::sort_expression &x)
void	apply (const data::abstraction &x)

Public Attributes
bool	result

Detailed Description

Definition at line 23 of file is_untyped.h.

Member Typedef Documentation

super

typedef sort_expression_traverser<is_untyped_traverser> mcrl2::data::detail::is_untyped_traverser::super

Definition at line 25 of file is_untyped.h.

Constructor & Destructor Documentation

is_untyped_traverser()

mcrl2::data::detail::is_untyped_traverser::is_untyped_traverser ( )

inline

Definition at line 32 of file is_untyped.h.

Member Function Documentation

apply() [1/7]

void mcrl2::data::detail::is_untyped_traverser::apply ( const data::structured_sort_constructor &  )

inline

Definition at line 66 of file is_untyped.h.

apply() [2/7]

void mcrl2::data::detail::is_untyped_traverser::apply ( const data::structured_sort_constructor_argument &  )

inline

Definition at line 61 of file is_untyped.h.

apply() [3/7]

void mcrl2::data::detail::is_untyped_traverser::apply ( const data::untyped_identifier &  )

inline

Definition at line 36 of file is_untyped.h.

apply() [4/7]

void mcrl2::data::detail::is_untyped_traverser::apply ( const data::untyped_identifier_assignment &  )

inline

Definition at line 41 of file is_untyped.h.

apply() [5/7]

void mcrl2::data::detail::is_untyped_traverser::apply ( const data::untyped_possible_sorts &  )

inline

Definition at line 51 of file is_untyped.h.

apply() [6/7]

void mcrl2::data::detail::is_untyped_traverser::apply ( const data::untyped_set_or_bag_comprehension &  )

inline

Definition at line 56 of file is_untyped.h.

apply() [7/7]

void mcrl2::data::detail::is_untyped_traverser::apply ( const data::untyped_sort &  )

inline

Definition at line 46 of file is_untyped.h.

Member Data Documentation

result

bool mcrl2::data::detail::is_untyped_traverser::result

Definition at line 30 of file is_untyped.h.

---

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

• data/include/mcrl2/data/detail/is_untyped.h