#include "preprocess.h"
#include "serializer.h"
#include "deserializer.h"
+#include "encodinggraph.h"
CSolver::CSolver() :
boolTrue(BooleanEdge(new BooleanConst(true))),
return set;
}
-//void CSolver::addItem(MutableSet *set, uint64_t element) {
-// set->addElementMSet(element);
-//}
+void CSolver::addItem(MutableSet *set, uint64_t element) {
+ set->addElementMSet(element);
+}
uint64_t CSolver::createUniqueItem(MutableSet *set) {
uint64_t element = set->getNewUniqueItem();
return element;
}
+void CSolver::finalizeMutableSet(MutableSet* set){
+ set->finalize();
+}
+
Element *CSolver::getElementVar(Set *set) {
Element *element = new ElementSet(set);
allElements.push(element);
IntegerEncodingTransform iet(this);
iet.doTransform();
+ EncodingGraph eg(this);
+ eg.buildGraph();
+ eg.encode();
+
naiveEncodingDecision(this);
satEncoder->encodeAllSATEncoder(this);
int result = unsat ? IS_UNSAT : satEncoder->solve();