FreeBSD Manual Pages
Q(3) Library Functions Manual Q(3) 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> Q(3)
NAME | SYNOPSIS | DESCRIPTION | PORTABILITY | SEE ALSO | AUTHOR
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=Q&sektion=3&manpath=FreeBSD+Ports+15.0>