Big Tabbing Change

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

diff --git a/src/Backend/satorderencoder.h b/src/Backend/satorderencoder.h
index c26e66852e96e86f73d8c789eb12a02910e41ee2..53d741563b164a1fcc269a2c024e41c6266b7870 100644 (file)
--- a/src/Backend/satorderencoder.h
+++ b/src/Backend/satorderencoder.h
@@ -1,11 +1,11 @@
 #ifndef SATORDERENCODER_H
 #define SATORDERENCODER_H
 
-Edge encodeOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
+Edge encodeOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
 Edge getPairConstraint(SATEncoder *This, HashTableOrderPair *table, OrderPair *pair);
-Edge encodeTotalOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
-Edge encodePartialOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
-void createAllTotalOrderConstraintsSATEncoder(SATEncoder* This, Order* order);
+Edge encodeTotalOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
+Edge encodePartialOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
+void createAllTotalOrderConstraintsSATEncoder(SATEncoder *This, Order *order);
 Edge getOrderConstraint(HashTableOrderPair *table, OrderPair *pair);
 Edge generateTransOrderConstraintSATEncoder(SATEncoder *This, Edge constIJ, Edge constJK, Edge constIK);
 #endif