ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
parse.h
Go to the documentation of this file.
1
18
19#ifndef ABC__bdd__parse__parse_h
20#define ABC__bdd__parse__parse_h
21
22
23ABC_NAMESPACE_HEADER_START
24
25
29
33
37
41
45
49
50/*=== parseCore.c =============================================================*/
51extern DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormula, int nVars, int nRanks,
52 char * ppVarNames[], DdManager * dd, DdNode * pbVars[] );
53
54
55
56ABC_NAMESPACE_HEADER_END
57
58#endif
59
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
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