Adding support for Integer Encoding ...

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

diff --git a/src/Backend/satorderencoder.h b/src/Backend/satorderencoder.h
index 53d741563b164a1fcc269a2c024e41c6266b7870..8faa73d074ab0f3c64fab6c39b3ac6ebdcab1a1e 100644 (file)
--- a/src/Backend/satorderencoder.h
+++ b/src/Backend/satorderencoder.h
@@ -2,7 +2,10 @@
 #define SATORDERENCODER_H
 
 Edge encodeOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
-Edge getPairConstraint(SATEncoder *This, HashTableOrderPair *table, OrderPair *pair);
+Edge orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder);
+Edge inferOrderConstraintFromGraph(Order* order, uint64_t _first, uint64_t _second);
+Element* getOrderIntegerElement(SATEncoder* This,Order *order, uint64_t item);
+Edge getPairConstraint(SATEncoder *This, Order *order, OrderPair *pair);
 Edge encodeTotalOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
 Edge encodePartialOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
 void createAllTotalOrderConstraintsSATEncoder(SATEncoder *This, Order *order);