X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.h;fp=src%2FBackend%2Fsatencoder.h;h=84329ef4e5295317122b6ca2e5579afb67d87a6d;hp=63b5a619babcdd4f9b7152457436f55c05fe7e1a;hb=06e879cba71e0b6180c1997fb0078ba80b323c34;hpb=e27a40f5c5fb5e9f804acd9ebfd38d7200d92ed1;ds=sidebyside

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 63b5a61..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);