mcrl2::lps::detail::is_trivial_summand Struct Reference

Function object that checks if a summand has a false condition. More...

#include <remove.h>

Public Member Functions
bool	operator() (const summand_base &s) const

Detailed Description

Function object that checks if a summand has a false condition.

Definition at line 27 of file remove.h.

Member Function Documentation

operator()()

bool mcrl2::lps::detail::is_trivial_summand::operator() ( const summand_base &  s ) const

inline

Definition at line 29 of file remove.h.

---

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

• lps/include/mcrl2/lps/remove.h