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 SATEncoder * allocSATEncoder();
  11 void deleteSATEncoder(SATEncoder *This);
  12 void encodeAllSATEncoder(SATEncoder *This, CSolver *csolver);
  13 Constraint * getNewVarSATEncoder(SATEncoder *This);
  14 Constraint * encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);
  15 Constraint * encodeOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
  16 Constraint * encodeVarSATEncoder(SATEncoder *This, BooleanVar * constraint);
  17 Constraint * encodeLogicSATEncoder(SATEncoder *This, BooleanLogic * constraint);
  18 Constraint * encodePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
  19 #endif