From 6130e39b18b5f53902e4eab14f6d5cdde5219563 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 1 Nov 2010 01:35:04 -0700
Subject: initial commit of public abc

---
 src/sat/psat/m114p.h       | 8 ++++++++
 src/sat/psat/m114p_types.h | 8 ++++++--
 2 files changed, 14 insertions(+), 2 deletions(-)

(limited to 'src/sat/psat')

diff --git a/src/sat/psat/m114p.h b/src/sat/psat/m114p.h
index 5050cb4b..9319d918 100644
--- a/src/sat/psat/m114p.h
+++ b/src/sat/psat/m114p.h
@@ -3,8 +3,12 @@
 #ifndef m114p_h
 #define m114p_h
 
+
 #include "m114p_types.h"
 
+ABC_NAMESPACE_HEADER_START
+
+
 // SAT solver APIs
 extern M114p_Solver_t M114p_SolverNew( int fRecordProof );
 extern void           M114p_SolverDelete( M114p_Solver_t s );
@@ -36,4 +40,8 @@ extern int            M114p_SolverGetNextChain( M114p_Solver_t s, int ** ppClaus
     for ( i = 0, nVars = M114p_SolverGetFirstChain(s, ppClauses, ppVars); nVars; \
           i++, nVars = M114p_SolverGetNextChain(s, ppClauses, ppVars) )
 
+
+
+ABC_NAMESPACE_HEADER_END
+
 #endif
\ No newline at end of file
diff --git a/src/sat/psat/m114p_types.h b/src/sat/psat/m114p_types.h
index 54a20c5c..29d70a87 100644
--- a/src/sat/psat/m114p_types.h
+++ b/src/sat/psat/m114p_types.h
@@ -3,7 +3,11 @@
 #ifndef m114p_types_h
 #define m114p_types_h
 
+
+ABC_NAMESPACE_HEADER_START
+
 typedef int   M114p_Solver_t;
-typedef int   lit;
 
-#endif
\ No newline at end of file
+ABC_NAMESPACE_HEADER_END
+
+#endif
-- 
cgit v1.2.3