diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 10:43:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 10:43:55 -0700 |
| commit | bc21cb41b49860e4b43aa859ea4fb6b2827262f5 (patch) | |
| tree | ce15d96be061d201333eceb3d3ddc29946c4d5af /src/aig/gia/gia.h | |
| parent | 2be812b4e08360f5b154d37ec3d12c029c79af82 (diff) | |
| download | abc-bc21cb41b49860e4b43aa859ea4fb6b2827262f5.tar.gz abc-bc21cb41b49860e4b43aa859ea4fb6b2827262f5.tar.bz2 abc-bc21cb41b49860e4b43aa859ea4fb6b2827262f5.zip | |
Adding frontier comptuation based on reversed CO order in &ps.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index b3efa455..d573afdc 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -906,7 +906,7 @@ extern int Gia_ManLevelNum( Gia_Man_t * p ); extern void Gia_ManCreateValueRefs( Gia_Man_t * p ); extern void Gia_ManCreateRefs( Gia_Man_t * p ); extern int * Gia_ManCreateMuxRefs( Gia_Man_t * p ); -extern int Gia_ManCrossCut( Gia_Man_t * p ); +extern int Gia_ManCrossCut( Gia_Man_t * p, int fReverse ); extern int Gia_ManIsNormalized( Gia_Man_t * p ); extern Vec_Int_t * Gia_ManCollectPoIds( Gia_Man_t * p ); extern int Gia_ObjIsMuxType( Gia_Obj_t * pNode ); |