src/Backend/satorderencoder.h

   1 #ifndef SATORDERENCODER_H
   2 #define SATORDERENCODER_H
   3
   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);
  12 #endif