blob: 964df4b8cbaecaa319eba1fc2ecd937409580187 (
plain)
| ofs | hex dump | ascii |
|---|
| 0000 | 69 63 6e 73 00 01 7c 2f 69 73 33 32 00 00 02 99 00 ff 8b 00 07 ff ff 00 00 2b 7b 97 96 81 97 09 | icns..|/is32.............+{..... |
| 0020 | 79 2a 00 00 ff ff 00 00 84 1a 83 00 6c 19 81 00 00 ff ff 00 00 95 00 31 31 30 2f 2e 2d 00 94 00 | y*..........l..........110/.-... |
| 0040 | 00 ff ff 00 00 94 00 2f 2e 2d 2d 2b 2a 00 92 00 00 ff ff 00 00 91 00 2c 2b 2b 29 28 27 00 90 00 | ......./.--+*..........,++)('... |
| 0060 | 00 ff ff 00 00 90 00 29 28 27 26 25 23 00 8e 00 00 ff ff 00 00 8d 00 26 24 24 23 21 20 00 8a 00 | .......)('&%#..........&$$#!.... |
| 0080 | 00 ff ff 00 00 87 00 22 21 20 1f 1e 1d 00 85 00 00 ff ff 00 00 85 00 1f 1e 1d 80 1c 0b 00 81 00 | ......."!....................... |
| 00a0 | 00 ff ff 00 00 83 01 1c 1c 81 1b 09 00 7e 00 00 ff ff 00 00 80 00 83 1b 08 00 7b 00 00 ff ff 00 | .............~............{..... |
| 00c0 | 00 7b 85 00 18 77 00 00 ff ff 00 00 6f 41 00 02 2a 29 04 00 3e 6a 00 00 ff ff 00 00 26 75 83 7e | .{...w......oA..*)..>j......&u.~ |
| 00e0 | 05 75 26 00 00 ff ff 8b 00 00 ff 00 ff 8b 00 07 ff ff 00 00 2b 7b 97 96 81 97 09 79 2a 00 00 ff | .u&.................+{.....y*... |
| 0100 | ff 00 00 84 1a 83 00 6c 19 81 00 00 ff ff 00 00 95 00 31 31 30 2f 2e 2d 00 94 00 00 ff ff 00 00/**CFile****************************************************************
FileName [absRef2.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Abstraction package.]
Synopsis [Refinement manager.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [$Id: absRef2.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
***********************************************************************/
#ifndef ABC__proof_abs__AbsRef2_h
#define ABC__proof_abs__AbsRef2_h
////////////////////////////////////////////////////////////////////////
/// INCLUDES ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
/// PARAMETERS ///
////////////////////////////////////////////////////////////////////////
ABC_NAMESPACE_HEADER_START
////////////////////////////////////////////////////////////////////////
/// BASIC TYPES ///
////////////////////////////////////////////////////////////////////////
typedef struct Rf2_Man_t_ Rf2_Man_t; // refinement manager
////////////////////////////////////////////////////////////////////////
/// MACRO DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
/// FUNCTION DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
/*=== giaAbsRef.c ===========================================================*/
extern Rf2_Man_t * Rf2_ManStart( Gia_Man_t * pGia );
extern void Rf2_ManStop( Rf2_Man_t * p, int fProfile );
extern double Rf2_ManMemoryUsage( Rf2_Man_t * p );
extern Vec_Int_t * Rf2_ManRefine( Rf2_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, int fPropFanout, int fVerbose );
ABC_NAMESPACE_HEADER_END
#endif
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////
|