Function object that checks if a sort is a singleton sort. Note that it is an approximation, meaning that in some cases it may return false whereas in reality the answer is true. More...

#include <remove.h>

Public Member Functions
	is_singleton_sort (const data::data_specification &data_spec)

bool	operator() (const data::sort_expression &s) const

Public Attributes
const data::data_specification &	m_data_spec

Detailed Description

Function object that checks if a sort is a singleton sort. Note that it is an approximation, meaning that in some cases it may return false whereas in reality the answer is true.

Definition at line 38 of file remove.h.

Constructor & Destructor Documentation

◆ is_singleton_sort()

mcrl2::lps::detail::is_singleton_sort::is_singleton_sort ( const data::data_specification & data_spec )

inline

Definition at line 42 of file remove.h.

Member Function Documentation

◆ operator()()

bool mcrl2::lps::detail::is_singleton_sort::operator() ( const data::sort_expression & s ) const

inline

Definition at line 46 of file remove.h.

Member Data Documentation

◆ m_data_spec

const data::data_specification& mcrl2::lps::detail::is_singleton_sort::m_data_spec

Definition at line 40 of file remove.h.

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

lps/include/mcrl2/lps/remove.h

Public Member Functions