From 7facbc3cc932bf72581d164a0d2d5ea60ab9aa2d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 23 Dec 2011 10:23:45 -0800
Subject: Transforming the solver to use different clause representation.

---
 src/sat/bsat/vecRec.h | 28 ++++++++++++++++++++++------
 1 file changed, 22 insertions(+), 6 deletions(-)

(limited to 'src/sat/bsat/vecRec.h')

diff --git a/src/sat/bsat/vecRec.h b/src/sat/bsat/vecRec.h
index fd0cc242..87a168b0 100644
--- a/src/sat/bsat/vecRec.h
+++ b/src/sat/bsat/vecRec.h
@@ -128,9 +128,9 @@ static inline void Vec_RecAlloc_( Vec_Rec_t * p )
   SeeAlso     []
 
 ***********************************************************************/
-static inline int Vec_RecEntryNum( Vec_Rec_t * p )
+static inline int Vec_RecChunk( int i )
 {
-    return p->nEntries;
+    return i>>16;
 }
 
 /**Function*************************************************************
@@ -144,9 +144,9 @@ static inline int Vec_RecEntryNum( Vec_Rec_t * p )
   SeeAlso     []
 
 ***********************************************************************/
-static inline int Vec_RecChunk( int i )
+static inline int Vec_RecShift( int i )
 {
-    return i>>16;
+    return i&0xFFFF;
 }
 
 /**Function*************************************************************
@@ -160,9 +160,25 @@ static inline int Vec_RecChunk( int i )
   SeeAlso     []
 
 ***********************************************************************/
-static inline int Vec_RecShift( int i )
+static inline int Vec_RecSize( Vec_Rec_t * p )
 {
-    return i&0xFFFF;
+    return Vec_RecChunk(p->hCurrent) * (1 << p->LogSize); 
+}
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+static inline int Vec_RecEntryNum( Vec_Rec_t * p )
+{
+    return p->nEntries;
 }
 
 /**Function*************************************************************
-- 
cgit v1.2.3