mcrl2::pbes_system::absinthe_algorithm::make_set Member List

This is the complete list of members for mcrl2::pbes_system::absinthe_algorithm::make_set, including all inherited members.

operator()(const data::sort_expression &s) const

mcrl2::pbes_system::absinthe_algorithm::make_set

inline