src/Backend/satencoder.c

   1 #include "satencoder.h"
   2 #include "structs.h"
   3 #include "csolver.h"
   4
   5 SATEncoder * allocSATEncoder() {
   6         SATEncoder *This=ourmalloc(sizeof (SATEncoder));
   7         return This;
   8 }
   9
  10 void deleteSATEncoder(SATEncoder *This) {
  11         ourfree(This);
  12 }
  13
  14 void encodeAllSATEncoder(SATEncoder * This, CSolver *csolver) {
  15         VectorBoolean *constraints=csolver->constraints;
  16         uint size=getSizeVectorBoolean(constraints);
  17         for(uint i=0;i<size;i++) {
  18                 Boolean *constraint=getVectorBoolean(constraints, i);
  19                 encodeConstraintSATEncoder(This, constraint);
  20         }
  21 }
  22
  23 void encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint) {
  24
  25 }