2005-07-29 17:01:00 +02:00
|
|
|
/**CFile****************************************************************
|
|
|
|
|
|
|
|
|
|
FileName [parseInt.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: parseInt.h,v 1.0 2003/09/08 00:00:00 alanmi Exp $]
|
|
|
|
|
|
|
|
|
|
***********************************************************************/
|
|
|
|
|
|
|
|
|
|
#ifndef __PARSE_INT_H__
|
|
|
|
|
#define __PARSE_INT_H__
|
|
|
|
|
|
2010-11-01 09:35:04 +01:00
|
|
|
|
2005-07-29 17:01:00 +02:00
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
/// INCLUDES ///
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#include <stdio.h>
|
|
|
|
|
#include "extra.h"
|
2010-11-01 09:35:04 +01:00
|
|
|
#include "cuddInt.h"
|
2005-07-29 17:01:00 +02:00
|
|
|
#include "parse.h"
|
|
|
|
|
|
2010-11-01 09:35:04 +01:00
|
|
|
ABC_NAMESPACE_HEADER_START
|
|
|
|
|
|
|
|
|
|
|
2005-07-29 17:01:00 +02:00
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
/// PARAMETERS ///
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
/// STRUCTURE DEFINITIONS ///
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
typedef struct ParseStackFnStruct Parse_StackFn_t; // the function stack
|
|
|
|
|
typedef struct ParseStackOpStruct Parse_StackOp_t; // the operation stack
|
|
|
|
|
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
/// GLOBAL VARIABLES ///
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
2008-01-31 05:01:00 +01:00
|
|
|
/// MACRO DEFINITIONS ///
|
2005-07-29 17:01:00 +02:00
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
2008-01-31 05:01:00 +01:00
|
|
|
/// FUNCTION DEFINITIONS ///
|
2005-07-29 17:01:00 +02:00
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
/*=== parseStack.c =============================================================*/
|
|
|
|
|
extern Parse_StackFn_t * Parse_StackFnStart ( int nDepth );
|
2010-11-01 09:35:04 +01:00
|
|
|
extern int Parse_StackFnIsEmpty( Parse_StackFn_t * p );
|
2008-01-31 05:01:00 +01:00
|
|
|
extern void Parse_StackFnPush ( Parse_StackFn_t * p, void * bFunc );
|
|
|
|
|
extern void * Parse_StackFnPop ( Parse_StackFn_t * p );
|
2005-07-29 17:01:00 +02:00
|
|
|
extern void Parse_StackFnFree ( Parse_StackFn_t * p );
|
|
|
|
|
|
|
|
|
|
extern Parse_StackOp_t * Parse_StackOpStart ( int nDepth );
|
2010-11-01 09:35:04 +01:00
|
|
|
extern int Parse_StackOpIsEmpty( Parse_StackOp_t * p );
|
2005-07-29 17:01:00 +02:00
|
|
|
extern void Parse_StackOpPush ( Parse_StackOp_t * p, int Oper );
|
|
|
|
|
extern int Parse_StackOpPop ( Parse_StackOp_t * p );
|
|
|
|
|
extern void Parse_StackOpFree ( Parse_StackOp_t * p );
|
|
|
|
|
|
2010-11-01 09:35:04 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
ABC_NAMESPACE_HEADER_END
|
|
|
|
|
|
2008-01-31 05:01:00 +01:00
|
|
|
#endif
|
|
|
|
|
|
2005-07-29 17:01:00 +02:00
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
/// END OF FILE ///
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
