mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::data::detail::normalize_sorts_function Struct Reference

#include <normalize_sorts.h>

Public Types

using argument_type = sort_expression
 
using result_type = sort_expression
 

Public Member Functions

 normalize_sorts_function (const sort_specification &sort_spec)
 
sort_expression operator() (const sort_expression &e) const
 Normalise sorts.
 

Public Attributes

const std::map< sort_expression, sort_expression > & m_normalised_aliases
 

Detailed Description

Definition at line 27 of file normalize_sorts.h.

Member Typedef Documentation

◆ argument_type

using mcrl2::data::detail::normalize_sorts_function::argument_type = sort_expression

Definition at line 29 of file normalize_sorts.h.

◆ result_type

using mcrl2::data::detail::normalize_sorts_function::result_type = sort_expression

Definition at line 30 of file normalize_sorts.h.

Constructor & Destructor Documentation

◆ normalize_sorts_function()

mcrl2::data::detail::normalize_sorts_function::normalize_sorts_function ( const sort_specification &  sort_spec)
inline

Definition at line 35 of file normalize_sorts.h.

Member Function Documentation

◆ operator()()

sort_expression mcrl2::data::detail::normalize_sorts_function::operator() ( const sort_expression &  e) const
inline

Normalise sorts.

Definition at line 41 of file normalize_sorts.h.

Member Data Documentation

◆ m_normalised_aliases

const std::map< sort_expression, sort_expression >& mcrl2::data::detail::normalize_sorts_function::m_normalised_aliases

Definition at line 33 of file normalize_sorts.h.

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