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 $]
|
|
|
|
|
|
|
|
|
|
***********************************************************************/
|
|
|
|
|
|
2012-01-21 13:30:10 +01:00
|
|
|
#ifndef ABC__bdd__parse__parseInt_h
|
|
|
|
|
#define ABC__bdd__parse__parseInt_h
|
2005-07-29 17:01:00 +02:00
|
|
|
|
2010-11-01 09:35:04 +01:00
|
|
|
|
2005-07-29 17:01:00 +02:00
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
/// INCLUDES ///
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
2015-08-25 06:09:50 +02:00
|
|
|
#include "aig/hop/hop.h"
|
|
|
|
|
#include "misc/vec/vec.h"
|
2005-07-29 17:01:00 +02:00
|
|
|
|
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 ///
|
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
