Edits
[satune.git] / 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 }