From 9bff0309ae9bee48b4f61c1d82da4cd4ca25fda8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 29 Nov 2010 01:32:29 -0800
Subject: Added ternary simulation value storage

---
 src/aig/aig/aig.h    | 1 +
 src/aig/aig/aigMan.c | 1 +
 2 files changed, 2 insertions(+)

(limited to 'src')

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 );
-- 
cgit v1.2.3