---
name: "Qstl"
section: "3"
platform: "linux"
package: "nana"
version: "2.5-12+deb7u1"
release: "Debian 7 (Wheezy)"
platforms: ["linux"]
url: "https://new.carta.tech/Qstl"
---

# Qstl(3)

support for Forall, Exists, etc in GNU C++ using STL

## NAME

Qstl - support for Forall, Exists, etc in GNU C++ using STL

## 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.

## PORTABILITY

These macros require GNU C or GNU C++.

## SEE ALSO

[nana-clg(1)](/nana-clg/1.md), [nana(1)](/nana/1.md), [nana(3)](/nana/3.md), [I(3)](/I/3.md), [DI(3)](/DI/3.md), [L(3)](/L/3.md), [DL(3)](/DL/3.md), [Q(3)](/Q/3.md), and nana.info.

The nana.info page is the primary documentation for this package.

## AUTHOR

Phil Maker \<pjm@gnu.org\>