allof( Expr )
[Statistical Functions for MArrays and ExpressionsBoolean valued reductions]

Functions


Detailed Description

true if all elements of Expression are logically true.

Function Documentation

template<class T, int N>
bool ltl::allof ( const MArray< T, N > &  a  )  [inline]

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


Generated on Wed Mar 11 17:44:35 2009 for LTL by  doxygen 1.5.3