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