diff options
Diffstat (limited to 'src/aig/hop/hop.h')
| -rw-r--r-- | src/aig/hop/hop.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/hop/hop.h b/src/aig/hop/hop.h index 44f5ac8e..8413fb02 100644 --- a/src/aig/hop/hop.h +++ b/src/aig/hop/hop.h @@ -314,6 +314,7 @@ extern void Hop_TableProfile( Hop_Man_t * p ); /*=== aigUtil.c =========================================================*/ extern void Hop_ManIncrementTravId( Hop_Man_t * p ); extern void Hop_ManCleanData( Hop_Man_t * p ); +extern void Hop_ObjCleanData_rec( Hop_Obj_t * pObj ); extern void Hop_ObjCollectMulti( Hop_Obj_t * pFunc, Vec_Ptr_t * vSuper ); extern int Hop_ObjIsMuxType( Hop_Obj_t * pObj ); extern int Hop_ObjRecognizeExor( Hop_Obj_t * pObj, Hop_Obj_t ** ppFan0, Hop_Obj_t ** ppFan1 ); |