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