src/Backend/satencoder.h

   1 #ifndef SATENCODER_H
   2 #define SATENCODER_H
   3
   4 #include "classlist.h"
   5
   6 struct SATEncoder {
   7
   8 };
   9
  10
  11 SATEncoder * allocSATEncoder();
  12 void deleteSATEncoder(SATEncoder *This);
  13 void encodeAllSATEncoder(SATEncoder *This, CSolver *csolver);
  14 void encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);
  15 #endif