mcrl2::data::enumerator_algorithm< Rewriter, DataRewriter >::always_false< T > Struct Template Reference

#include <enumerator.h>

Public Member Functions
bool	operator() (const T &)

Detailed Description

template<typename Rewriter = data::rewriter, typename DataRewriter = data::rewriter>
template<typename T>
struct mcrl2::data::enumerator_algorithm< Rewriter, DataRewriter >::always_false< T >

Definition at line 683 of file enumerator.h.

Member Function Documentation

operator()()

template<typename Rewriter = data::rewriter, typename DataRewriter = data::rewriter>

template<typename T >

bool mcrl2::data::enumerator_algorithm< Rewriter, DataRewriter >::always_false< T >::operator() ( const T &  )

inline

Definition at line 685 of file enumerator.h.

---

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

• data/include/mcrl2/data/enumerator.h