mcrl2::data::detail::printer< Derived >::get_sort_default Struct Reference

#include <print.h>

Public Member Functions
template<typename T >
sort_expression	operator() (const T &t) const

Detailed Description

template<typename Derived>
struct mcrl2::data::detail::printer< Derived >::get_sort_default

Definition at line 584 of file print.h.

Member Function Documentation

operator()()

template<typename Derived >

template<typename T >

sort_expression mcrl2::data::detail::printer< Derived >::get_sort_default::operator() ( const T &  t ) const

inline

Definition at line 587 of file print.h.

---

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

• data/include/mcrl2/data/print.h