src/Backend/satorderencoder.h

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