diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-15 22:11:10 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-15 22:11:10 -0700 |
commit | 0ae0744e73b978593a054e8bf80c35723c9f4b03 (patch) | |
tree | 9f01ea20fbfb39d4ed73117aa412ed0e54c4319b /src/aig/gia/gia.h | |
parent | a8bd59bd685cafc2926c314727dedee874632254 (diff) | |
download | abc-0ae0744e73b978593a054e8bf80c35723c9f4b03.tar.gz abc-0ae0744e73b978593a054e8bf80c35723c9f4b03.tar.bz2 abc-0ae0744e73b978593a054e8bf80c35723c9f4b03.zip |
Experimental resubstitution.
Diffstat (limited to 'src/aig/gia/gia.h')
-rw-r--r-- | src/aig/gia/gia.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 4e10cbe6..2458b152 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1558,8 +1558,7 @@ extern void Gia_ManIncrSimSet( Gia_Man_t * p, Vec_Int_t * vObjLit extern int Gia_ManIncrSimCheckOver( Gia_Man_t * p, int iLit0, int iLit1 ); extern int Gia_ManIncrSimCheckEqual( Gia_Man_t * p, int iLit0, int iLit1 ); /*=== giaSimBase.c ============================================================*/ -extern Vec_Wrd_t * Gia_ManSimPatRead( char * pFileName, int * pnWords ); -extern void Gia_ManSimPatWrite( char * pFileName, Vec_Wrd_t * vSimsIn, int nWords ); +extern Vec_Wrd_t * Gia_ManSimPatSim( Gia_Man_t * p ); /*=== giaSpeedup.c ============================================================*/ extern float Gia_ManDelayTraceLut( Gia_Man_t * p ); extern float Gia_ManDelayTraceLutPrint( Gia_Man_t * p, int fVerbose ); @@ -1685,6 +1684,7 @@ extern int Gia_ObjRecognizeExor( Gia_Obj_t * pObj, Gia_Obj_t ** extern Gia_Obj_t * Gia_ObjRecognizeMux( Gia_Obj_t * pNode, Gia_Obj_t ** ppNodeT, Gia_Obj_t ** ppNodeE ); extern int Gia_ObjRecognizeMuxLits( Gia_Man_t * p, Gia_Obj_t * pNode, int * iLitT, int * iLitE ); extern int Gia_NodeMffcSize( Gia_Man_t * p, Gia_Obj_t * pNode ); +extern int Gia_NodeMffcSizeMark( Gia_Man_t * p, Gia_Obj_t * pNode ); extern int Gia_NodeMffcSizeSupp( Gia_Man_t * p, Gia_Obj_t * pNode, Vec_Int_t * vSupp ); extern int Gia_ManHasDangling( Gia_Man_t * p ); extern int Gia_ManMarkDangling( Gia_Man_t * p ); |