parseInt.h

Go to the documentation of this file.

 
#ifndef ABC__bdd__parse__parseInt_h
#define ABC__bdd__parse__parseInt_h
 

 
#include "aig/hop/hop.h"
#include "misc/vec/vec.h"
 
ABC_NAMESPACE_HEADER_START
 


 
typedef struct ParseStackFnStruct    Parse_StackFn_t;    // the function stack
typedef struct ParseStackOpStruct    Parse_StackOp_t;    // the operation stack



 
/*=== parseStack.c =============================================================*/
extern Parse_StackFn_t *  Parse_StackFnStart  ( int nDepth );
extern int                Parse_StackFnIsEmpty( Parse_StackFn_t * p );
extern void               Parse_StackFnPush   ( Parse_StackFn_t * p, void * bFunc );
extern void *             Parse_StackFnPop    ( Parse_StackFn_t * p );
extern void               Parse_StackFnFree   ( Parse_StackFn_t * p );
 
extern Parse_StackOp_t *  Parse_StackOpStart  ( int nDepth );
extern int                Parse_StackOpIsEmpty( Parse_StackOp_t * p );
extern void               Parse_StackOpPush   ( Parse_StackOp_t * p, int Oper );
extern int                Parse_StackOpPop    ( Parse_StackOp_t * p );
extern void               Parse_StackOpFree   ( Parse_StackOp_t * p );
 
 
 
ABC_NAMESPACE_HEADER_END
 
#endif