abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
parseInt.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [parseInt.h]
4 
5  PackageName [MVSIS 2.0: Multi-valued logic synthesis system.]
6 
7  Synopsis [Parsing symbolic Boolean formulas into BDDs.]
8 
9  Author [MVSIS Group]
10 
11  Affiliation [UC Berkeley]
12 
13  Date [Ver. 1.0. Started - September 8, 2003.]
14 
15  Revision [$Id: parseInt.h,v 1.0 2003/09/08 00:00:00 alanmi Exp $]
16 
17 ***********************************************************************/
18 
19 #ifndef ABC__bdd__parse__parseInt_h
20 #define ABC__bdd__parse__parseInt_h
21 
22 
23 ////////////////////////////////////////////////////////////////////////
24 /// INCLUDES ///
25 ////////////////////////////////////////////////////////////////////////
26 
27 
28 #include <stdio.h>
29 #include "misc/extra/extraBdd.h"
30 #include "parse.h"
31 
32 ABC_NAMESPACE_HEADER_START
33 
34 
35 ////////////////////////////////////////////////////////////////////////
36 /// PARAMETERS ///
37 ////////////////////////////////////////////////////////////////////////
38 
39 ////////////////////////////////////////////////////////////////////////
40 /// STRUCTURE DEFINITIONS ///
41 ////////////////////////////////////////////////////////////////////////
42 
43 typedef struct ParseStackFnStruct Parse_StackFn_t; // the function stack
44 typedef struct ParseStackOpStruct Parse_StackOp_t; // the operation stack
45 
46 ////////////////////////////////////////////////////////////////////////
47 /// GLOBAL VARIABLES ///
48 ////////////////////////////////////////////////////////////////////////
49 
50 ////////////////////////////////////////////////////////////////////////
51 /// MACRO DEFINITIONS ///
52 ////////////////////////////////////////////////////////////////////////
53 
54 ////////////////////////////////////////////////////////////////////////
55 /// FUNCTION DEFINITIONS ///
56 ////////////////////////////////////////////////////////////////////////
57 
58 /*=== parseStack.c =============================================================*/
59 extern Parse_StackFn_t * Parse_StackFnStart ( int nDepth );
60 extern int Parse_StackFnIsEmpty( Parse_StackFn_t * p );
61 extern void Parse_StackFnPush ( Parse_StackFn_t * p, void * bFunc );
62 extern void * Parse_StackFnPop ( Parse_StackFn_t * p );
63 extern void Parse_StackFnFree ( Parse_StackFn_t * p );
64 
65 extern Parse_StackOp_t * Parse_StackOpStart ( int nDepth );
66 extern int Parse_StackOpIsEmpty( Parse_StackOp_t * p );
67 extern void Parse_StackOpPush ( Parse_StackOp_t * p, int Oper );
68 extern int Parse_StackOpPop ( Parse_StackOp_t * p );
69 extern void Parse_StackOpFree ( Parse_StackOp_t * p );
70 
71 
72 
73 ABC_NAMESPACE_HEADER_END
74 
75 #endif
76 
77 ////////////////////////////////////////////////////////////////////////
78 /// END OF FILE ///
79 ////////////////////////////////////////////////////////////////////////
Parse_StackOpStart
Parse_StackOp_t * Parse_StackOpStart(int nDepth)
Definition: parseStack.c:156
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Parse_StackFnPop
void * Parse_StackFnPop(Parse_StackFn_t *p)
Definition: parseStack.c:115
Parse_StackFnFree
void Parse_StackFnFree(Parse_StackFn_t *p)
Definition: parseStack.c:136
Parse_StackFnIsEmpty
int Parse_StackFnIsEmpty(Parse_StackFn_t *p)
Definition: parseStack.c:78
Parse_StackOpIsEmpty
int Parse_StackOpIsEmpty(Parse_StackOp_t *p)
Definition: parseStack.c:177
Parse_StackOpPush
void Parse_StackOpPush(Parse_StackOp_t *p, int Oper)
Definition: parseStack.c:193
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
Parse_StackFn_t
typedefABC_NAMESPACE_HEADER_START struct ParseStackFnStruct Parse_StackFn_t
INCLUDES ///.
Definition: parseInt.h:43
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106
Parse_StackOpFree
void Parse_StackOpFree(Parse_StackOp_t *p)
Definition: parseStack.c:235
Parse_StackFnPush
void Parse_StackFnPush(Parse_StackFn_t *p, void *bFunc)
Definition: parseStack.c:94
ParseStackFnStruct
DECLARATIONS ///.
Definition: parseStack.c:28
Parse_StackFnStart
Parse_StackFn_t * Parse_StackFnStart(int nDepth)
GLOBAL VARIABLES ///.
Definition: parseStack.c:57
Parse_StackOpPop
int Parse_StackOpPop(Parse_StackOp_t *p)
Definition: parseStack.c:214