diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-17 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-17 08:01:00 -0800 |
| commit | 28d4f8696dd2cf60f71fca5d83e5f038678f4828 (patch) | |
| tree | bc202cc439db71cded25cf3a2b082791c4fada7a /src/aig/gia/gia.h | |
| parent | 0871bffae307e0553e0c5186336189e8b55cf6a6 (diff) | |
| download | abc-28d4f8696dd2cf60f71fca5d83e5f038678f4828.tar.gz abc-28d4f8696dd2cf60f71fca5d83e5f038678f4828.tar.bz2 abc-28d4f8696dd2cf60f71fca5d83e5f038678f4828.zip | |
Version abc90217
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 721056de..73940ffa 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -359,6 +359,8 @@ extern void Gia_ObjAddFanout( Gia_Man_t * p, Gia_Obj_t * pObj, Gi extern void Gia_ObjRemoveFanout( Gia_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pFanout ); extern void Gia_ManFanoutStart( Gia_Man_t * p ); extern void Gia_ManFanoutStop( Gia_Man_t * p ); +/*=== giaForce.c =========================================================*/ +extern void For_ManExperiment( Gia_Man_t * pGia ); /*=== giaFrames.c =========================================================*/ extern void Gia_ManFraSetDefaultParams( Gia_ParFra_t * p ); extern Gia_Man_t * Gia_ManFrames( Gia_Man_t * pAig, Gia_ParFra_t * pPars ); @@ -375,6 +377,7 @@ extern int Gia_ManHashAndTry( Gia_Man_t * p, int iLit0, int iLit extern Gia_Man_t * Gia_ManRehash( Gia_Man_t * p ); /*=== giaLogic.c ===========================================================*/ extern void Gia_ManTestDistance( Gia_Man_t * p ); +extern void Gia_ManSolveProblem( Gia_Man_t * pGia, int nDims, int nSols ); /*=== giaMan.c ===========================================================*/ extern Gia_Man_t * Gia_ManStart( int nObjsMax ); extern void Gia_ManStop( Gia_Man_t * p ); @@ -396,8 +399,10 @@ extern Gia_Man_t * Gia_ManReduceConst( Gia_Man_t * pAig, int fVerbose ); /*=== giaUtil.c ===========================================================*/ extern void Gia_ManSetMark0( Gia_Man_t * p ); extern void Gia_ManCleanMark0( Gia_Man_t * p ); +extern void Gia_ManCheckMark0( Gia_Man_t * p ); extern void Gia_ManSetMark1( Gia_Man_t * p ); extern void Gia_ManCleanMark1( Gia_Man_t * p ); +extern void Gia_ManCheckMark1( Gia_Man_t * p ); extern void Gia_ManCleanValue( Gia_Man_t * p ); extern void Gia_ManFillValue( Gia_Man_t * p ); extern void Gia_ManSetPhase( Gia_Man_t * p ); |