#ifndef CSOLVER_H
#define CSOLVER_H
-#include "classlist.h"
+#include "classes.h"
#include "ops.h"
-#include "structs.h"
+#include "corestructs.h"
#include "asthash.h"
class CSolver {
Tuner *getTuner() { return tuner; }
- HSIteratorBoolean *getConstraints() { return constraints.iterator(); }
+ SetIteratorBoolean *getConstraints() { return constraints.iterator(); }
SATEncoder *getSATEncoder() {return satEncoder;}
long long getEncodeTime();
long long getSolveTime();
- MEMALLOC;
+ CMEMALLOC;
private:
void handleXORFalse(BooleanLogic *bexpr, Boolean *child);