From 67357cda2f389f39ed45e81e7579d549b7280174 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 19 May 2013 10:58:36 -0700 Subject: Added new switched to command &frames. --- src/aig/gia/gia.h | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'src/aig/gia/gia.h') diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index c184950e..12d255a4 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -205,6 +205,8 @@ struct Gia_ParFra_t_ int nFrames; // the number of frames to unroll int fInit; // initialize the timeframes int fSaveLastLit; // adds POs for outputs of each frame + int fDisableSt; // disables strashing + int fOrPos; // ORs respective POs in each timeframe int fVerbose; // enables verbose output }; @@ -513,6 +515,18 @@ static inline int Gia_ManAppendAnd( Gia_Man_t * p, int iLit0, int iLit1 ) } return Gia_ObjId( p, pObj ) << 1; } +static inline int Gia_ManAppendAnd2( Gia_Man_t * p, int iLit0, int iLit1 ) +{ + if ( iLit0 < 2 ) + return iLit0 ? iLit1 : 0; + if ( iLit1 < 2 ) + return iLit1 ? iLit0 : 0; + if ( iLit0 == iLit1 ) + return iLit1; + if ( iLit0 == Abc_LitNot(iLit1) ) + return 0; + return Gia_ManAppendAnd( p, iLit0, iLit1 ); +} static inline int Gia_ManAppendXorReal( Gia_Man_t * p, int iLit0, int iLit1 ) { Gia_Obj_t * pObj = Gia_ManAppendObj( p ); -- cgit v1.2.3