#include "csolver.h"
-#include "set.h"
-#include "mutableset.h"
-#include "element.h"
-#include "boolean.h"
-#include "predicate.h"
-#include "order.h"
+#include "AST/set.h"
+#include "AST/mutableset.h"
+#include "AST/element.h"
+#include "AST/boolean.h"
+#include "AST/predicate.h"
+#include "AST/order.h"
CSolver * allocCSolver() {
CSolver * tmp=(CSolver *) ourmalloc(sizeof(CSolver));
return boolean;
}
-Function * createFunctionOperator(CSolver *solver, enum ArithOp op, Set ** domain, uint numDomain, Set * range, enum OverFlowBehavior overflowbehavior, Boolean * overflowstatus) {
+Function * createFunctionOperator(CSolver *solver, enum ArithOp op, Set ** domain, uint numDomain, Set * range,
+ enum OverFlowBehavior overflowbehavior, Boolean * overflowstatus) {
return NULL;
}