diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-05 18:48:11 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-05 18:48:11 +0700 |
| commit | fd62957d39c18bd755e7fa46cf7dc7e278c6778c (patch) | |
| tree | bf3672bc98e1d86eb1b0417c5d676c0f7cc4c1fe /src/aig/gia/gia.h | |
| parent | 32e7b7582945133fa1efced6748518d08a615318 (diff) | |
| download | abc-fd62957d39c18bd755e7fa46cf7dc7e278c6778c.tar.gz abc-fd62957d39c18bd755e7fa46cf7dc7e278c6778c.tar.bz2 abc-fd62957d39c18bd755e7fa46cf7dc7e278c6778c.zip | |
Backward reachability using circuit cofactoring.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index c652f1a0..d97276f5 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -174,6 +174,7 @@ 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 fVerbose; // enables verbose output }; @@ -700,6 +701,10 @@ extern void Gia_ManFanoutStop( Gia_Man_t * p ); /*=== giaForce.c =========================================================*/ extern void For_ManExperiment( Gia_Man_t * pGia, int nIters, int fClustered, int fVerbose ); /*=== giaFrames.c =========================================================*/ +extern void * Gia_ManUnrollStart( Gia_Man_t * pAig, Gia_ParFra_t * pPars ); +extern void * Gia_ManUnrollAdd( void * pMan, int fMax ); +extern void Gia_ManUnrollStop( void * pMan ); +extern int Gia_ManUnrollLastLit( void * pMan ); extern void Gia_ManFraSetDefaultParams( Gia_ParFra_t * p ); extern Gia_Man_t * Gia_ManFrames( Gia_Man_t * pAig, Gia_ParFra_t * pPars ); /*=== giaFront.c ==========================================================*/ |