text: /**CFile****************************************************************
  
    FileName    [parse.h]
  
    PackageName [MVSIS 2.0: Multi-valued logic synthesis system.]
  
    Synopsis    [Parsing symbolic Boolean formulas into BDDs.]
  
    Author      [MVSIS Group]
    
    Affiliation [UC Berkeley]
  
    Date        [Ver. 1.0. Started - September 8, 2003.]
  
    Revision    [$Id: parse.h,v 1.0 2003/09/08 00:00:00 alanmi Exp $]
  
  ***********************************************************************/
  
  #ifndef __PARSE_H__
  #define __PARSE_H__
  
  ////////////////////////////////////////////////////////////////////////
  ///                          INCLUDES                                ///
  ////////////////////////////////////////////////////////////////////////
  
  ////////////////////////////////////////////////////////////////////////
  ///                         PARAMETERS                               ///
  ////////////////////////////////////////////////////////////////////////
  
  ////////////////////////////////////////////////////////////////////////
  ///                    STRUCTURE DEFINITIONS                         ///
  ////////////////////////////////////////////////////////////////////////
  
  ////////////////////////////////////////////////////////////////////////
  ///                       GLOBAL VARIABLES                           ///
  ////////////////////////////////////////////////////////////////////////
  
  ////////////////////////////////////////////////////////////////////////
  ///                       MACRO DEFINITIONS                          ///
  ////////////////////////////////////////////////////////////////////////
  
  ////////////////////////////////////////////////////////////////////////
  ///                     FUNCTION DEFINITIONS                         ///
  ////////////////////////////////////////////////////////////////////////
  
  /*=== parseCore.c =============================================================*/
  extern DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormula, int nVars, int nRanks, 
        char * ppVarNames[], DdManager * dd, DdNode * pbVars[] );
  
  #endif
  
  ////////////////////////////////////////////////////////////////////////
  ///                       END OF FILE                                ///
  ////////////////////////////////////////////////////////////////////////
  