mcrl2::pbes_system::absinthe_algorithm::make_data_expression_set Struct Reference

#include <absinthe.h>

Public Member Functions
data::data_expression	operator() (const data::data_expression &x) const

Detailed Description

Definition at line 479 of file absinthe.h.

Member Function Documentation

operator()()

data::data_expression mcrl2::pbes_system::absinthe_algorithm::make_data_expression_set::operator() ( const data::data_expression &  x ) const

inline

Definition at line 481 of file absinthe.h.

---

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

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