noneof( Expr )
[Boolean valued reductions]

Functions


Detailed Description

true if no element of Expression is logically true.


Function Documentation

template<class Expr , int N>
bool ltl::noneof ( const ExprBase< Expr, N > &  e  )  [inline]

Generated on 19 Feb 2015 for LTL by  doxygen 1.6.1