diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-04 08:43:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-04 08:43:22 -0700 |
| commit | 4a954c1b23aad9b7189dd76164d3e5a61ca6b39f (patch) | |
| tree | 330bc38a4b018c110cb4ae2214b8417e411653d7 /src/aig/gia/gia.h | |
| parent | e0ad9de7ea8c8fd34072a712f4579767b9055d6e (diff) | |
| download | abc-4a954c1b23aad9b7189dd76164d3e5a61ca6b39f.tar.gz abc-4a954c1b23aad9b7189dd76164d3e5a61ca6b39f.tar.bz2 abc-4a954c1b23aad9b7189dd76164d3e5a61ca6b39f.zip | |
Improvements to delay-optimization in &satlut.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 9c557843..bceb3093 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1499,6 +1499,7 @@ extern void Gia_ObjPrint( Gia_Man_t * p, Gia_Obj_t * pObj ); extern void Gia_ManPrint( Gia_Man_t * p ); extern void Gia_ManPrintCo( Gia_Man_t * p, Gia_Obj_t * pObj ); extern void Gia_ManPrintCone( Gia_Man_t * p, Gia_Obj_t * pObj, int * pLeaves, int nLeaves, Vec_Int_t * vNodes ); +extern void Gia_ManPrintConeMulti( Gia_Man_t * p, Vec_Int_t * vObjs, Vec_Int_t * vLeaves, Vec_Int_t * vNodes ); extern void Gia_ManPrintCone2( Gia_Man_t * p, Gia_Obj_t * pObj ); extern void Gia_ManInvertConstraints( Gia_Man_t * pAig ); extern void Gia_ManInvertPos( Gia_Man_t * pAig ); |