logic.h File Reference

Logic related definitions. More...

Go to the source code of this file.

Typedefs
typedef int(*	cmp_t) (const void *a, const void *b)
	Generic comparator function prototype.

Enumerations
enum	qt { U_QT , E_QT }
	Quantifier definitions. More...

Detailed Description

Logic related definitions.

Enumeration Type Documentation

qt

enum qt

Quantifier definitions.

Enumerator
U_QT	Universal quantifier
E_QT	Existential quantifier