src/Backend/satencoder.h

   1 #ifndef SATENCODER_H
   2 #define SATENCODER_H
   3
   4 #include "classlist.h"
   5 #include "structs.h"
   6 #include "inc_solver.h"
   7 #include "constraint.h"
   8
   9 struct SATEncoder {
  10         uint varcount;
  11         CNF * cnf;
  12 };
  13
  14 #include "satelemencoder.h"
  15 #include "satorderencoder.h"
  16
  17 SATEncoder * allocSATEncoder();
  18 void deleteSATEncoder(SATEncoder *This);
  19 void encodeAllSATEncoder(CSolver *csolver, SATEncoder *This);
  20 Edge getNewVarSATEncoder(SATEncoder *This);
  21 void getArrayNewVarsSATEncoder(SATEncoder* encoder, uint num, Edge*carray);
  22 Edge encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);
  23 Edge encodeVarSATEncoder(SATEncoder *This, BooleanVar * constraint);
  24 Edge encodeLogicSATEncoder(SATEncoder *This, BooleanLogic * constraint);
  25 Edge encodePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  26 Edge encodeTablePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  27 Edge encodeEnumTablePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  28 Edge encodeOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  29 Edge encodeEnumOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  30 void encodeElementSATEncoder(SATEncoder* encoder, Element *This);
  31 Edge encodeElementFunctionSATEncoder(SATEncoder* encoder, ElementFunction *This);
  32 Edge encodeEnumTableElemFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
  33 Edge encodeTableElementFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
  34 Edge encodeOperatorElementFunctionSATEncoder(SATEncoder* encoder,ElementFunction* This);
  35 #endif