mcrl2::data::structured_sort_constructor::get_argument_sort Struct Reference

Public Member Functions
sort_expression	operator() (structured_sort_constructor_argument const &s) const

Detailed Description

Definition at line 77 of file structured_sort_constructor.h.

Member Function Documentation

operator()()

sort_expression mcrl2::data::structured_sort_constructor::get_argument_sort::operator() ( structured_sort_constructor_argument const &  s ) const

inline

Definition at line 79 of file structured_sort_constructor.h.

---

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

• data/include/mcrl2/data/structured_sort_constructor.h