-
-CSolver * allocCSolver() {
- CSolver * tmp=(CSolver *) ourmalloc(sizeof(CSolver));
- tmp->constraints=allocDefVectorBoolean();
- tmp->allBooleans=allocDefVectorBoolean();
- tmp->allSets=allocDefVectorSet();
- tmp->allElements=allocDefVectorElement();
- tmp->allPredicates = allocDefVectorPredicate();
- tmp->allTables = allocDefVectorTable();
- tmp->allOrders = allocDefVectorOrder();
- tmp->allFunctions = allocDefVectorFunction();
- return tmp;
+#include "sattranslator.h"
+#include "tunable.h"
+#include "orderencoder.h"
+#include "polarityassignment.h"
+
+CSolver *allocCSolver() {
+ CSolver *This = (CSolver *) ourmalloc(sizeof(CSolver));
+ This->unsat = false;
+ This->constraints = allocDefHashSetBoolean();
+ This->allBooleans = allocDefVectorBoolean();
+ This->allSets = allocDefVectorSet();
+ This->allElements = allocDefVectorElement();
+ This->allPredicates = allocDefVectorPredicate();
+ This->allTables = allocDefVectorTable();
+ This->allOrders = allocDefVectorOrder();
+ This->allFunctions = allocDefVectorFunction();
+ This->tuner = allocTuner();
+ This->satEncoder = allocSATEncoder(This);
+ return This;