From aa705a9af63b3c3859345311693eb50fbf751cb7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 2 Oct 2012 20:20:46 -0700
Subject: Renamed reference counting APIs in GIA package.

---
 src/proof/cec/cecClass.c | 4 ++--
 src/proof/cec/cecCorr.c  | 4 ++--
 src/proof/cec/cecSeq.c   | 2 +-
 src/proof/cec/cecSweep.c | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/proof/cec')

diff --git a/src/proof/cec/cecClass.c b/src/proof/cec/cecClass.c
index 46e585a9..2d820c39 100644
--- a/src/proof/cec/cecClass.c
+++ b/src/proof/cec/cecClass.c
@@ -857,7 +857,7 @@ int Cec_ManSimClassesPrepare( Cec_ManSim_t * p, int LevelMax )
     p->pAig->pReprs = ABC_CALLOC( Gia_Rpr_t, Gia_ManObjNum(p->pAig) );
     p->pAig->pNexts = ABC_CALLOC( int, Gia_ManObjNum(p->pAig) );
     // create references
-    Gia_ManSetRefs( p->pAig );
+    Gia_ManCreateValueRefs( p->pAig );
     // set starting representative of internal nodes to be constant 0
     if ( p->pPars->fLatchCorr )
         Gia_ManForEachObj( p->pAig, pObj, i )
@@ -908,7 +908,7 @@ int Cec_ManSimClassesPrepare( Cec_ManSim_t * p, int LevelMax )
 int Cec_ManSimClassesRefine( Cec_ManSim_t * p )
 {
     int i;
-    Gia_ManSetRefs( p->pAig );
+    Gia_ManCreateValueRefs( p->pAig );
     p->nWords = p->pPars->nWords;
     for ( i = 0; i < p->pPars->nRounds; i++ )
     {
diff --git a/src/proof/cec/cecCorr.c b/src/proof/cec/cecCorr.c
index 300c10d5..f35cd952 100644
--- a/src/proof/cec/cecCorr.c
+++ b/src/proof/cec/cecCorr.c
@@ -548,7 +548,7 @@ int Cec_ManResimulateCounterExamples( Cec_ManSim_t * pSim, Vec_Int_t * vCexStore
     Vec_Ptr_t * vSimInfo; 
     int RetValue = 0, iStart = 0;
     vPairs = Gia_ManCorrCreateRemapping( pSim->pAig );
-    Gia_ManSetRefs( pSim->pAig );
+    Gia_ManCreateValueRefs( pSim->pAig );
 //    pSim->pPars->nWords  = 63;
     pSim->pPars->nFrames = nFrames;
     vSimInfo = Vec_PtrAllocSimInfo( Gia_ManRegNum(pSim->pAig) + Gia_ManPiNum(pSim->pAig) * nFrames, pSim->pPars->nWords );
@@ -584,7 +584,7 @@ int Cec_ManResimulateCounterExamplesComb( Cec_ManSim_t * pSim, Vec_Int_t * vCexS
 { 
     Vec_Ptr_t * vSimInfo; 
     int RetValue = 0, iStart = 0;
-    Gia_ManSetRefs( pSim->pAig );
+    Gia_ManCreateValueRefs( pSim->pAig );
     pSim->pPars->nFrames = 1;
     vSimInfo = Vec_PtrAllocSimInfo( Gia_ManCiNum(pSim->pAig), pSim->pPars->nWords );
     while ( iStart < Vec_IntSize(vCexStore) )
diff --git a/src/proof/cec/cecSeq.c b/src/proof/cec/cecSeq.c
index 3afbd1c8..da60de1d 100644
--- a/src/proof/cec/cecSeq.c
+++ b/src/proof/cec/cecSeq.c
@@ -191,7 +191,7 @@ int Cec_ManSeqResimulateInfo( Gia_Man_t * pAig, Vec_Ptr_t * vSimInfo, Abc_Cex_t
     pParsSim->nFrames = (Vec_PtrSize(vSimInfo) - Gia_ManRegNum(pAig)) / Gia_ManPiNum(pAig);
     pParsSim->nWords  = Vec_PtrReadWordsSimInfo( vSimInfo );
     pParsSim->fCheckMiter = fCheckMiter;
-    Gia_ManSetRefs( pAig );
+    Gia_ManCreateValueRefs( pAig );
     pSim = Cec_ManSimStart( pAig, pParsSim );
     if ( pBestState )
         pSim->pBestState = pBestState;
diff --git a/src/proof/cec/cecSweep.c b/src/proof/cec/cecSweep.c
index 16697776..9ba2e07e 100644
--- a/src/proof/cec/cecSweep.c
+++ b/src/proof/cec/cecSweep.c
@@ -197,7 +197,7 @@ p->timePat += clock() - clk;
 clk = clock();
     if ( vInfo != NULL )
     {
-        Gia_ManSetRefs( p->pAig );
+        Gia_ManCreateValueRefs( p->pAig );
         for ( i = 0; i < pPat->nSeries; i++ )
         {
             Cec_ManFraCreateInfo( pSim, pSim->vCiSimInfo, vInfo, i );
-- 
cgit v1.2.3