libsapling  0.8.0
logic.h
Go to the documentation of this file.
1 #ifndef _LIBSAPLING_DM_LOGIC_H_
2 #define _LIBSAPLING_DM_LOGIC_H_
3 
10 enum qt {
11 
13  U_QT,
14 
16  E_QT
17 };
18 
22 typedef int (*cmp_t)(const void *a, const void *b);
23 
24 #endif
cmp_t
int(* cmp_t)(const void *a, const void *b)
Generic comparator function prototype.
Definition: logic.h:22
qt
qt
Quantifier definitions.
Definition: logic.h:10
E_QT
@ E_QT
Definition: logic.h:16
U_QT
@ U_QT
Definition: logic.h:13
Generated by doxygen 1.9.1