diff options
Diffstat (limited to 'src/temp/player/player.h')
| -rw-r--r-- | src/temp/player/player.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/temp/player/player.h b/src/temp/player/player.h index 0213683f..a4ee5650 100644 --- a/src/temp/player/player.h +++ b/src/temp/player/player.h @@ -89,11 +89,6 @@ static inline Pla_Obj_t * Ivy_ObjPlaStr( Ivy_Man_t * p, Ivy_Obj_t * pObj ) { extern void * Abc_NtkPlayer( void * pNtk, int nLutMax, int nPlaMax, int RankCost, int fFastMode, int fRewriting, int fSynthesis, int fVerbose ); /*=== playerCore.c =============================================================*/ extern Pla_Man_t * Pla_ManDecompose( Ivy_Man_t * p, int nLutMax, int nPlaMax, int fVerbose ); -/*=== playerFast.c =============================================================*/ -extern void Pla_ManFastLutMap( Ivy_Man_t * pAig, int nLimit ); -extern void Pla_ManFastLutMapStop( Ivy_Man_t * pAig ); -extern void Pla_ManFastLutMapReadSupp( Ivy_Man_t * pAig, Ivy_Obj_t * pObj, Vec_Int_t * vLeaves ); -extern void Pla_ManFastLutMapReverseLevel( Ivy_Man_t * pAig ); /*=== playerMan.c ==============================================================*/ extern Pla_Man_t * Pla_ManAlloc( Ivy_Man_t * p, int nLutMax, int nPlaMax ); extern void Pla_ManFree( Pla_Man_t * p ); |