|
#define | PT_AND 5 |
|
#define | PT_CONSTANT 3 |
|
#define | PT_EMPTY 0 |
|
#define | PT_EQUALS 8 |
|
#define | PT_EQUIV 9 |
|
#define | PT_GE 13 /* greater than or equal to, i.e., ">=" */ |
|
#define | PT_GT 11 /* greater than, i.e., ">" */ |
|
#define | PT_IMPLIES 7 |
|
#define | PT_LE 12 /* less than or equal to, i.e., "<=" */ |
|
#define | PT_LT 10 /* less than, i.e., "<" */ |
|
#define | PT_NEG 4 |
|
#define | PT_NEXT_VARIABLE 2 |
|
#define | PT_NOTEQ 14 /* not equals */ |
|
#define | PT_OR 6 |
|
#define | PT_VARIABLE 1 |
|