NAME

Q - support for Forall, Exists, etc in GNU C and C++

SYNOPSIS

#include <Q.h>

bool A(init,cond,next,exprn) /* Forall */

bool E(init,cond,next,exprn) /* Exists */

bool E1(init,cond,next,exprn) /* Exists a single */

bool C(init,cond,next,exprn) /* Count */

DESCRIPTION

This is a simple minded implementation of predicate calculus in C. The first three arguments are the same as those of the for loop in C and C++. For example to verify that all values in an array are positive you could use:

A(int i = 0, i < 100, i++, a[i] >= 0)

Note that the macros can be nested or used in any context that requires boolean values.

See nana.info for more details.

PORTABILITY

These macros require GNU C or GNU C++.

SEE ALSO

nana-clg(1), nana(1), nana(3), I(3), DI(3), L(3), DL(3), Q(3), Qstl(3) and nana.info.

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

AUTHOR

Phil Maker <pjm@gnu.org>