mcrl2::pbes_system::absinthe_algorithm::make_set Struct Reference

#include <absinthe.h>

Public Member Functions
data::sort_expression	operator() (const data::sort_expression &s) const

Detailed Description

Definition at line 491 of file absinthe.h.

Member Function Documentation

operator()()

data::sort_expression mcrl2::pbes_system::absinthe_algorithm::make_set::operator() ( const data::sort_expression &  s ) const

inline

Definition at line 493 of file absinthe.h.

---

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

• pbes/include/mcrl2/pbes/absinthe.h