DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Functors.hh>
Public Member Functions | |
BinaryOr (const UnaryPredicate1 &p1, const UnaryPredicate2 &p2) | |
Public Member Functions inherited from Diades::Utils::CompositionFunctorFGxHx< std::logical_or< bool >, UnaryPredicate1, UnaryPredicate2 > | |
CompositionFunctorFGxHx (const std::logical_or< bool > &f, const UnaryPredicate1 &g, const UnaryPredicate2 &h) | |
std::logical_or< bool > ::result_type | operator() (const typename UnaryPredicate1 ::argument_type &x) const |
BinaryOr specialisation of CompositionFunctorFGxHy for an binary predicate conjunction
BinaryAnd<P1, P2>()(x,y) return P1(x) or P2(y)
Definition at line 518 of file Functors.hh.
|
inline |
Definition at line 520 of file Functors.hh.