#include "sattranslator.h"
#include "tunable.h"
#include "polarityassignment.h"
-#include "analyzer.h"
+#include "transformer.h"
#include "autotuner.h"
#include "astops.h"
#include "structs.h"
elapsedTime(0)
{
satEncoder = new SATEncoder(this);
+ transformer = new Transformer(this);
}
/** This function tears down the solver and the entire AST */
delete boolTrue;
delete boolFalse;
delete satEncoder;
+ delete transformer;
}
CSolver *CSolver::clone() {
long long startTime = getTimeNano();
computePolarities(this);
- orderAnalysis(this);
+ transformer->orderAnalysis();
naiveEncodingDecision(this);
satEncoder->encodeAllSATEncoder(this);
int result = unsat ? IS_UNSAT : satEncoder->solve();