SYNOPSIS
#include <Qstl.h>
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 */
DESCRIPTION
These macros implement predicate calculus operations over Standard Template Library (STL) classes. For example:map<Location,Hatsize,Locationlt> m;
AO(i,m,(*i).Hatsize >= 0)
Note that the macros can be nested or used in any context that requires boolean values.