Added ternary simulation value storage

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;      

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 );