gr1c  0.10.2
 All Data Structures Files Functions Variables Typedefs Groups Pages
Macros
parse tree node types

Macros

#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
 

Detailed Description