00001 00019 #ifndef __PARSE_INT_H__ 00020 #define __PARSE_INT_H__ 00021 00025 00026 00027 #include <stdio.h> 00028 #include "cuddInt.h" 00029 #include "extra.h" 00030 #include "parse.h" 00031 00035 00039 00040 typedef int bool; 00041 00042 typedef struct ParseStackFnStruct Parse_StackFn_t; // the function stack 00043 typedef struct ParseStackOpStruct Parse_StackOp_t; // the operation stack 00044 00048 00052 00056 00057 /*=== parseStack.c =============================================================*/ 00058 extern Parse_StackFn_t * Parse_StackFnStart ( int nDepth ); 00059 extern bool Parse_StackFnIsEmpty( Parse_StackFn_t * p ); 00060 extern void Parse_StackFnPush ( Parse_StackFn_t * p, void * bFunc ); 00061 extern void * Parse_StackFnPop ( Parse_StackFn_t * p ); 00062 extern void Parse_StackFnFree ( Parse_StackFn_t * p ); 00063 00064 extern Parse_StackOp_t * Parse_StackOpStart ( int nDepth ); 00065 extern bool Parse_StackOpIsEmpty( Parse_StackOp_t * p ); 00066 extern void Parse_StackOpPush ( Parse_StackOp_t * p, int Oper ); 00067 extern int Parse_StackOpPop ( Parse_StackOp_t * p ); 00068 extern void Parse_StackOpFree ( Parse_StackOp_t * p ); 00069 00070 #endif 00071