src/Backend/satencoder.h

   1 #ifndef SATENCODER_H
   2 #define SATENCODER_H
   3
   4 #include "classlist.h"
   5 #include "structs.h"
   6
   7 struct SATEncoder {
   8         uint varcount;
   9 };
  10
  11 SATEncoder * allocSATEncoder();
  12 void deleteSATEncoder(SATEncoder *This);
  13 void initializeConstraintVars(CSolver* csolver, SATEncoder* This);
  14 void encodeAllSATEncoder(CSolver *csolver, SATEncoder *This);
  15 Constraint * getNewVarSATEncoder(SATEncoder *This);
  16 void getArrayNewVarsSATEncoder(SATEncoder* encoder, uint num, Constraint **carray);
  17 Constraint * encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);
  18 Constraint * encodeOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
  19 void createAllTotalOrderConstraintsSATEncoder(SATEncoder* This, Order* order);
  20 Constraint* getOrderConstraint(HashTableBoolConst *table, OrderPair *pair);
  21 Constraint * generateTransOrderConstraintSATEncoder(SATEncoder *This, Constraint *constIJ,Constraint *constJK,Constraint *constIK);
  22 Constraint * encodeTotalOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
  23 Constraint * encodePartialOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
  24 Constraint * encodeVarSATEncoder(SATEncoder *This, BooleanVar * constraint);
  25 Constraint * encodeLogicSATEncoder(SATEncoder *This, BooleanLogic * constraint);
  26 Constraint * encodePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  27 Constraint * encodeTablePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  28 Constraint * encodeEnumTablePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  29 Constraint * encodeOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  30 Constraint * encodeEnumOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  31
  32 Constraint * getElementValueBinaryIndexConstraint(Element* This, uint64_t value);
  33 Constraint * getElementValueConstraint(Element* This, uint64_t value);
  34
  35 Constraint* encodeFunctionElementSATEncoder(SATEncoder* encoder, ElementFunction *This);
  36 Constraint* encodeEnumTableElemFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
  37 Constraint* encodeTableElementFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
  38 Constraint* encodeOperatorElementFunctionSATEncoder(SATEncoder* encoder,ElementFunction* This);
  39 #endif