Main Page
Modules
Namespaces
Classes
Files
allof( Expr )
[
Statistical Functions for MArrays and Expressions
,
Boolean valued reductions
]
Functions
template<class T, int N> bool
ltl::allof
(const MArray< T, N > &a)
template<class Expr, int N> bool
ltl::allof
(const ExprNode< Expr, N > &e)
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
1.5.3