Qstl3
Support for forall, exists, etc in gnu c++ using stl
Usage
#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 */
Overview
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.
Portability
These macros require GNU C or GNU C++.
Releases
8 releases since Debian 2.1 (Slink); the text changed 1 time.