abc70930: src/bdd/parse/parse.h Source File

00001 
00019 #ifndef __PARSE_H__
00020 #define __PARSE_H__
00021 
00025 
00029 
00033 
00037 
00041 
00045 
00046 /*=== parseCore.c =============================================================*/
00047 extern DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormula, int nVars, int nRanks, 
00048       char * ppVarNames[], DdManager * dd, DdNode * pbVars[] );
00049 
00050 #endif
00051