From 196b3591830e9fbe0877411b8053233c11d0f4ce Mon Sep 17 00:00:00 2001
From: Yen-Sheng Ho <ysho@berkeley.edu>
Date: Sat, 18 Feb 2017 09:51:54 -0800
Subject: started pdrIncr.c

---
 src/proof/pdr/module.make |  3 ++-
 src/proof/pdr/pdrIncr.c   | 56 +++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 58 insertions(+), 1 deletion(-)
 create mode 100644 src/proof/pdr/pdrIncr.c

(limited to 'src/proof')

diff --git a/src/proof/pdr/module.make b/src/proof/pdr/module.make
index 2967aeb8..4c177a21 100644
--- a/src/proof/pdr/module.make
+++ b/src/proof/pdr/module.make
@@ -5,4 +5,5 @@ SRC +=    src/proof/pdr/pdrCnf.c \
     src/proof/pdr/pdrSat.c \
     src/proof/pdr/pdrTsim.c \
     src/proof/pdr/pdrTsim2.c \
-    src/proof/pdr/pdrUtil.c 
+    src/proof/pdr/pdrUtil.c \
+    src/proof/pdr/pdrIncr.c
diff --git a/src/proof/pdr/pdrIncr.c b/src/proof/pdr/pdrIncr.c
new file mode 100644
index 00000000..a2329870
--- /dev/null
+++ b/src/proof/pdr/pdrIncr.c
@@ -0,0 +1,56 @@
+/**CFile****************************************************************
+
+  FileName    [pdrIncr.c]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Property driven reachability.]
+
+  Synopsis    [PDR with incremental solving.]
+
+  Author      [Yen-Sheng Ho, Alan Mishchenko]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - Feb. 17, 2017.]
+
+  Revision    [$Id: pdrIncr.c$]
+
+***********************************************************************/
+
+#include "pdrInt.h"
+#include "base/main/main.h"
+
+ABC_NAMESPACE_IMPL_START
+
+////////////////////////////////////////////////////////////////////////
+///                        DECLARATIONS                              ///
+////////////////////////////////////////////////////////////////////////
+
+
+////////////////////////////////////////////////////////////////////////
+///                     FUNCTION DEFINITIONS                         ///
+////////////////////////////////////////////////////////////////////////
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+int IPdr_ManSolve( Abc_Ntk_t * pNtk, Pdr_Par_t * pPars )
+{
+    return 0;
+}
+
+////////////////////////////////////////////////////////////////////////
+///                       END OF FILE                                ///
+////////////////////////////////////////////////////////////////////////
+
+
+ABC_NAMESPACE_IMPL_END
-- 
cgit v1.2.3