Commit after resolving conflicts
authorHamed <hamed.gorjiara@gmail.com>
Fri, 16 Jun 2017 19:03:16 +0000 (12:03 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Fri, 16 Jun 2017 19:03:16 +0000 (12:03 -0700)
1  2 
src/AST/function.h
src/csolver.c

index 0000000,1ea2069..82379f7
mode 000000,100644..100644
--- /dev/null
@@@ -1,0 -1,10 +1,14 @@@
 -
+ #ifndef FUNCTION_H
+ #define FUNCTION_H
+ #include "classlist.h"
+ #include "mymemory.h"
 -
 -      Table* table;
++#include "ops.h"
++#include "structs.h"
+ struct Function {
++    enum ArithOp op;
++    VectorSet* domains; 
++    Set * range;
++    enum OverFlowBehavior overflowbehavior;
++    Table* table;
+ };
+ #endif
diff --cc src/csolver.c
@@@ -1,9 -1,10 +1,10 @@@
  #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));
@@@ -68,13 -78,12 +78,13 @@@ Element * getElementVar(CSolver *this, 
  }
  
  Boolean * getBooleanVar(CSolver *solver, VarType type) {
-     Boolean* boolean= allocBoolean(type);
-     pushVectorBoolean(solver->constraints, boolean);
-     return boolean;
+       Boolean* boolean= allocBoolean(type);
+       pushVectorBoolean(solver->allBooleans, boolean);
+       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;
  }