mcrl2::data::detail::compare_sort Struct Reference

Tests if a term is a sort, and if it is equal to s. More...

#include <data_functional.h>

Public Member Functions
	compare_sort (sort_expression s_)
bool	operator() (const atermpp::aterm &t) const

Public Attributes
sort_expression	s

Detailed Description

Tests if a term is a sort, and if it is equal to s.

Definition at line 47 of file data_functional.h.

Constructor & Destructor Documentation

compare_sort()

mcrl2::data::detail::compare_sort::compare_sort ( sort_expression  s_ )

inline

Definition at line 51 of file data_functional.h.

Member Function Documentation

operator()()

bool mcrl2::data::detail::compare_sort::operator() ( const atermpp::aterm &  t ) const

inline

Definition at line 55 of file data_functional.h.

Member Data Documentation

s

sort_expression mcrl2::data::detail::compare_sort::s

Definition at line 49 of file data_functional.h.

---

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

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