6 #include "inc_solver.h"
7 #include "constraint.h"
8 #include "satelemencoder.h"
9 #include "satorderencoder.h"
10 #include "satfunctableencoder.h"
19 SATEncoder(CSolver *solver);
21 void encodeAllSATEncoder(CSolver *csolver);
22 Edge encodeConstraintSATEncoder(Boolean *constraint);
27 Edge getNewVarSATEncoder(SATEncoder *This);
28 void getArrayNewVarsSATEncoder(SATEncoder *encoder, uint num, Edge *carray);
30 Edge encodeVarSATEncoder(SATEncoder *This, BooleanVar *constraint);
31 Edge encodeLogicSATEncoder(SATEncoder *This, BooleanLogic *constraint);
32 Edge encodePredicateSATEncoder(SATEncoder *This, BooleanPredicate *constraint);
33 Edge encodeTablePredicateSATEncoder(SATEncoder *This, BooleanPredicate *constraint);
34 void encodeElementSATEncoder(SATEncoder *encoder, Element *This);
35 void encodeElementFunctionSATEncoder(SATEncoder *encoder, ElementFunction *This);
36 void encodeTableElementFunctionSATEncoder(SATEncoder *encoder, ElementFunction *This);