Moving OrderPairTable to the resolver + hide translation complexity in OrderPair...

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

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 7af3e559178c87a1e7dc796ea715260d43a53ab4..ef3edc6a1eb8bbd810d9fe15d3ece0ddcdf8bb2c 100644 (file)
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -64,5 +64,4 @@ private:
 };
 
 void allocElementConstraintVariables(ElementEncoding *ee, uint numVars);
-Edge getOrderConstraint(HashtableOrderPair *table, OrderPair *pair);
 #endif