mcrl2::smt::always_false< T > Struct Template Reference

#include <unfold_pattern_matching.h>

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

Detailed Description

template<typename T>
struct mcrl2::smt::always_false< T >

Definition at line 74 of file unfold_pattern_matching.h.

Member Function Documentation

operator()()

template<typename T >

bool mcrl2::smt::always_false< T >::operator() ( const T &  )

inline

Definition at line 76 of file unfold_pattern_matching.h.

---

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

• smt/include/mcrl2/smt/unfold_pattern_matching.h