mcrl2::data::enumerator_algorithm< Rewriter, DataRewriter >::always_false< T > Member List

This is the complete list of members for mcrl2::data::enumerator_algorithm< Rewriter, DataRewriter >::always_false< T >, including all inherited members.

operator()(const T &)

mcrl2::data::enumerator_algorithm< Rewriter, DataRewriter >::always_false< T >

inline