diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-29 01:32:29 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-29 01:32:29 -0800 |
| commit | 9bff0309ae9bee48b4f61c1d82da4cd4ca25fda8 (patch) | |
| tree | ee693794bd70583b3c33e46be88b6041f2f9f559 /src | |
| parent | 719d399a64d56a79386856113fe39a019b45caf1 (diff) | |
| download | abc-9bff0309ae9bee48b4f61c1d82da4cd4ca25fda8.tar.gz abc-9bff0309ae9bee48b4f61c1d82da4cd4ca25fda8.tar.bz2 abc-9bff0309ae9bee48b4f61c1d82da4cd4ca25fda8.zip | |
Added ternary simulation value storage
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/aig/aig.h | 1 | ||||
| -rw-r--r-- | src/aig/aig/aigMan.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/aig/aig.h b/src/aig/aig/aig.h index 385d93b2..1f138771 100644 --- a/src/aig/aig/aig.h +++ b/src/aig/aig/aig.h @@ -148,6 +148,7 @@ struct Aig_Man_t_ void * pManTime; // the timing manager void * pManCuts; int * pFastSim; + unsigned * pTerSimData; // ternary simulation data Vec_Ptr_t * vMapped; Vec_Int_t * vFlopNums; Vec_Int_t * vFlopReprs; diff --git a/src/aig/aig/aigMan.c b/src/aig/aig/aigMan.c index 40fe871b..bce56424 100644 --- a/src/aig/aig/aigMan.c +++ b/src/aig/aig/aigMan.c @@ -213,6 +213,7 @@ void Aig_ManStop( Aig_Man_t * p ) Vec_PtrFreeP( &p->vMapped ); if ( p->pSeqModelVec ) Vec_PtrFreeFree( p->pSeqModelVec ); + ABC_FREE( p->pTerSimData ); ABC_FREE( p->pFastSim ); ABC_FREE( p->pData ); ABC_FREE( p->pSeqModel ); |