9 //regarding managing memory
10 VectorConstraint vars;
11 VectorConstraint allConstraints;
14 inline VectorConstraint* getSATEncoderVars(SATEncoder* ne){
17 inline VectorConstraint* getSATEncoderAllConstraints(SATEncoder* ne){
18 return &ne->allConstraints;
20 SATEncoder * allocSATEncoder();
21 void deleteSATEncoder(SATEncoder *This);
22 void encodeAllSATEncoder(SATEncoder *This, CSolver *csolver);
23 Constraint * getNewVarSATEncoder(SATEncoder *This);
24 void getArrayNewVarsSATEncoder(SATEncoder* encoder, uint num, Constraint **carray);
25 Constraint * encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);
26 Constraint * encodeOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
27 Constraint * encodeVarSATEncoder(SATEncoder *This, BooleanVar * constraint);
28 Constraint * encodeLogicSATEncoder(SATEncoder *This, BooleanLogic * constraint);
29 Constraint * encodePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
31 Constraint* encodeFunctionElementSATEncoder(SATEncoder* encoder, ElementFunction *This);
32 Constraint* encodeEnumTableElemFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
33 Constraint* encodeTableElementFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
34 Constraint* encodeOperatorElementFunctionSATEncoder(SATEncoder* encoder,ElementFunction* This);