SATEncoder::SATEncoder(CSolver *_solver) :
cnf(createCNF()),
- solver(_solver) {
+ solver(_solver),
+ vector(allocDefVectorEdge()) {
}
SATEncoder::~SATEncoder() {
deleteCNF(cnf);
+ deleteVectorEdge(vector);
}
-void SATEncoder::resetSATEncoder(){
- resetCNF(cnf);
- booledgeMap.reset();
+void SATEncoder::resetSATEncoder() {
+ resetCNF(cnf);
+ booledgeMap.reset();
}
int SATEncoder::solve() {