#include "orderedge.h"
#include "orderanalysis.h"
#include "elementopt.h"
+#include "varorderingopt.h"
#include <time.h>
#include <stdarg.h>
naiveEncodingDecision(this);
// eg.validate();
+ VarOrderingOpt bor(this, satEncoder);
+ bor.doTransform();
+
time2 = getTimeNano();
model_print("Encoding Graph Time: %f\n", (time2 - time1) / NANOSEC);
-
+
satEncoder->encodeAllSATEncoder(this);
time1 = getTimeNano();