.TH Qstl 3 .SH NAME Qstl - support for Forall, Exists, etc in GNU C++ using STL .SH SYNOPSIS #include bool AO(iter,container,exprn) /* Forall */ bool EO(iter,container,exprn) /* Exists */ bool E1O(iter,container,exprn) /* Exists a single */ bool CO(iter,container,exprn) /* Count */ .SH DESCRIPTION These macros implement predicate calculus operations over Standard Template Library (STL) classes. For example: map m; AO(i,m,(*i).Hatsize >= 0) Note that the macros can be nested or used in any context that requires boolean values. .SH PORTABILITY These macros require GNU C or GNU C++. .SH SEE ALSO nana-clg(1), nana(1), nana(3), I(3), DI(3), L(3), DL(3), Q(3), and nana.info. The nana.info page is the primary documentation for this package. .SH AUTHOR Phil Maker