abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
parse.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [parse.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: parse.h,v 1.0 2003/09/08 00:00:00 alanmi Exp $]
16 
17 ***********************************************************************/
18 
19 #ifndef ABC__bdd__parse__parse_h
20 #define ABC__bdd__parse__parse_h
21 
22 
23 ABC_NAMESPACE_HEADER_START
24 
25 
26 ////////////////////////////////////////////////////////////////////////
27 /// INCLUDES ///
28 ////////////////////////////////////////////////////////////////////////
29 
30 ////////////////////////////////////////////////////////////////////////
31 /// PARAMETERS ///
32 ////////////////////////////////////////////////////////////////////////
33 
34 ////////////////////////////////////////////////////////////////////////
35 /// STRUCTURE DEFINITIONS ///
36 ////////////////////////////////////////////////////////////////////////
37 
38 ////////////////////////////////////////////////////////////////////////
39 /// GLOBAL VARIABLES ///
40 ////////////////////////////////////////////////////////////////////////
41 
42 ////////////////////////////////////////////////////////////////////////
43 /// MACRO DEFINITIONS ///
44 ////////////////////////////////////////////////////////////////////////
45 
46 ////////////////////////////////////////////////////////////////////////
47 /// FUNCTION DEFINITIONS ///
48 ////////////////////////////////////////////////////////////////////////
49 
50 /*=== parseCore.c =============================================================*/
51 extern DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormula, int nVars, int nRanks,
52  char * ppVarNames[], DdManager * dd, DdNode * pbVars[] );
53 
54 
55 
56 ABC_NAMESPACE_HEADER_END
57 
58 #endif
59 
60 ////////////////////////////////////////////////////////////////////////
61 /// END OF FILE ///
62 ////////////////////////////////////////////////////////////////////////
DdNode
Definition: cudd.h:278
Parse_FormulaParser
ABC_NAMESPACE_HEADER_START DdNode * Parse_FormulaParser(FILE *pOutput, char *pFormula, int nVars, int nRanks, char *ppVarNames[], DdManager *dd, DdNode *pbVars[])
INCLUDES ///.
Definition: parseCore.c:116
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106