1 #ifndef SATORDERENCODER_H
2 #define SATORDERENCODER_H
4 Edge encodeOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
5 Edge getPairConstraint(SATEncoder *This, Order *order, OrderPair *pair);
6 Edge encodeTotalOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
7 Edge encodePartialOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint);
8 void createAllTotalOrderConstraintsSATEncoder(SATEncoder *This, Order *order);
9 Edge getOrderConstraint(HashTableOrderPair *table, OrderPair *pair);
10 Edge generateTransOrderConstraintSATEncoder(SATEncoder *This, Edge constIJ, Edge constJK, Edge constIK);