X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.h;h=84329ef4e5295317122b6ca2e5579afb67d87a6d;hp=a89ab1b9b9ffe99f36392c50ebc0e42bcd026b6a;hb=06e879cba71e0b6180c1997fb0078ba80b323c34;hpb=0b9f7bb16590ae7da2629986c236ad7c7e1a97fa

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index a89ab1b..84329ef 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -55,6 +55,8 @@ private:
 	Edge encodePartialOrderSATEncoder(BooleanOrder *constraint);
 	void createAllTotalOrderConstraintsSATEncoder(Order *order);
 	void createAllPartialOrderConstraintsSATEncoder(Order *order);
+	void createAllTotalOrderConstraintsSATEncoderSparse(Order *order);
+	void createAllPartialOrderConstraintsSATEncoderSparse(Order *order);
 	Edge getOrderConstraint(HashtableOrderPair *table, OrderPair *pair);
 	Edge generateTransOrderConstraintSATEncoder(Edge constIJ, Edge constJK, Edge constIK);
 	Edge generatePartialOrderConstraintsSATEncoder(Edge ij,Edge ji, Edge jk, Edge kj,Edge ik, Edge ki);
@@ -63,7 +65,7 @@ private:
 	void encodeEnumTableElemFunctionSATEncoder(ElementFunction *This);
 	void encodeEnumEntriesTableElemFuncSATEncoder(ElementFunction *This);
 	void generateAnyValueBinaryIndexEncoding(ElementEncoding *encoding);
-	int getMaximumUsedIndex(ElementEncoding *encoding);
+	int getMaximumUsedSize(ElementEncoding *encoding);
 	void generateAnyValueBinaryIndexEncodingPositive(ElementEncoding *encoding);
 	void generateAnyValueBinaryValueEncoding(ElementEncoding *encoding);
 	CNF *cnf;