From 3469b605e13e29d57476b4e7c8d76c38da3c9384 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 24 Aug 2011 17:39:57 +0700
Subject: Sequential cleanup with symbolic/ternary simulation.

---
 src/aig/saig/saig.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/saig/saig.h')

diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h
index fa68bf95..5a515eb0 100644
--- a/src/aig/saig/saig.h
+++ b/src/aig/saig/saig.h
@@ -203,7 +203,7 @@ extern Vec_Int_t *       Saig_ManExtendCounterExampleTest( Aig_Man_t * p, int iF
 /*=== saigSimExt.c ==========================================================*/
 extern Vec_Int_t *       Saig_ManExtendCounterExampleTest2( Aig_Man_t * p, int iFirstPi, Abc_Cex_t * pCex, int fVerbose );
 /*=== saigSimMv.c ==========================================================*/
-extern int               Saig_MvManSimulate( Aig_Man_t * pAig, int fVerbose );
+extern Vec_Ptr_t *       Saig_MvManSimulate( Aig_Man_t * pAig, int nFramesSymb, int nFramesSatur, int fVerbose, int fVeryVerbose );
 /*=== saigStrSim.c ==========================================================*/
 extern Vec_Int_t *       Saig_StrSimPerformMatching( Aig_Man_t * p0, Aig_Man_t * p1, int nDist, int fVerbose, Aig_Man_t ** ppMiter );
 /*=== saigSwitch.c ==========================================================*/
-- 
cgit v1.2.3