Translate expressions only once

[satune.git] / src / Backend / satencoder.h

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index b6bce0182a64004a73ef447d9b4e880665c3ce05..4cfe4c2fc6ca5121448a099424b70f2218760b01 100644 (file)
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -6,6 +6,8 @@
 #include "inc_solver.h"
 #include "constraint.h"
 
+typedef HashTable<Boolean *, Node *, uintptr_t, 4> BooleanToEdgeMap;
+
 class SATEncoder {
  public:
        int solve();
@@ -57,6 +59,8 @@ class SATEncoder {
        
        CNF *cnf;
        CSolver *solver;
+       BooleanToEdgeMap booledgeMap;
+
 };
 
 void allocElementConstraintVariables(ElementEncoding *ee, uint numVars);