src/Backend/satencoder.h

   1 #ifndef SATENCODER_H
   2 #define SATENCODER_H
   3
   4 #include "classlist.h"
   5
   6 struct SATEncoder {
   7         uint varcount;
   8 };
   9
  10
  11 SATEncoder * allocSATEncoder();
  12 void deleteSATEncoder(SATEncoder *This);
  13 void encodeAllSATEncoder(SATEncoder *This, CSolver *csolver);
  14 Constraint * getNewVarSATEncoder(SATEncoder *This);
  15 Constraint * encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);
  16 Constraint * encodeOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
  17 Constraint * encodeVarSATEncoder(SATEncoder *This, BooleanVar * constraint);
  18 Constraint * encodeLogicSATEncoder(SATEncoder *This, BooleanLogic * constraint);
  19 Constraint * encodeCompareSATEncoder(SATEncoder *This, BooleanComp * constraint);
  20
  21 #endif