diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-23 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-23 08:01:00 -0700 |
| commit | 7b09d2d28aa81916f9c06f0993f2569a7ad18596 (patch) | |
| tree | 7f9203d4a804fb4db2ae5d962166470360b1f27f /src/temp/aig/aig.h | |
| parent | 956842d9cc321eee3907889b820132e6e2b5ec62 (diff) | |
| download | abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.tar.gz abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.tar.bz2 abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.zip | |
Version abc60823
Diffstat (limited to 'src/temp/aig/aig.h')
| -rw-r--r-- | src/temp/aig/aig.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/temp/aig/aig.h b/src/temp/aig/aig.h index e3e35b0c..e489d978 100644 --- a/src/temp/aig/aig.h +++ b/src/temp/aig/aig.h @@ -290,9 +290,11 @@ extern void Aig_TableProfile( Aig_Man_t * p ); /*=== aigUtil.c =========================================================*/ extern void Aig_ManIncrementTravId( Aig_Man_t * p ); extern void Aig_ManCleanData( Aig_Man_t * p ); -extern int Aig_ObjMffcLabel( Aig_Man_t * p, Aig_Obj_t * pNode ); +extern void Aig_ObjCollectMulti( Aig_Obj_t * pFunc, Vec_Ptr_t * vSuper ); extern int Aig_ObjIsMuxType( Aig_Obj_t * pObj ); +extern int Aig_ObjRecognizeExor( Aig_Obj_t * pObj, Aig_Obj_t ** ppFan0, Aig_Obj_t ** ppFan1 ); extern Aig_Obj_t * Aig_ObjRecognizeMux( Aig_Obj_t * pObj, Aig_Obj_t ** ppObjT, Aig_Obj_t ** ppObjE ); +extern void Aig_ObjPrintVerilog( FILE * pFile, Aig_Obj_t * pObj, Vec_Vec_t * vLevels, int Level ); extern void Aig_ObjPrintVerbose( Aig_Obj_t * pObj, int fHaig ); extern void Aig_ManPrintVerbose( Aig_Man_t * p, int fHaig ); |