11 SATEncoder * allocSATEncoder();
12 void deleteSATEncoder(SATEncoder *This);
13 void encodeAllSATEncoder(SATEncoder *This, CSolver *csolver);
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 * encodeCompareSATEncoder(SATEncoder *This, BooleanComp * constraint);