mcrl2::data::is_not_false Struct Reference

#include <enumerator_with_iterator.h>

Public Member Functions
bool	operator() (const data_expression &x) const

Detailed Description

Definition at line 22 of file enumerator_with_iterator.h.

Member Function Documentation

operator()()

bool mcrl2::data::is_not_false::operator() ( const data_expression &  x ) const

inline

Definition at line 24 of file enumerator_with_iterator.h.

---

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

• data/include/mcrl2/data/enumerator_with_iterator.h