src/Backend/satorderencoder.h

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