Commit after resolving conflicts
authorHamed <hamed.gorjiara@gmail.com>
Tue, 20 Jun 2017 18:12:02 +0000 (11:12 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Tue, 20 Jun 2017 18:12:02 +0000 (11:12 -0700)
1  2 
src/AST/boolean.c
src/AST/boolean.h
src/AST/element.c
src/AST/element.h
src/AST/ops.h
src/classlist.h
src/csolver.c

Simple merge
Simple merge
@@@ -1,22 -1,12 +1,23 @@@
  #include "element.h"
 -
 +#include "structs.h"
- Element *allocElementSet(Set * s) {
-       ElementSet * tmp=(ElementSet *)ourmalloc(sizeof(ElementSet));
++//FIXME: ELEMENTSET?
+ Element *allocElement(Set * s) {
+       Element * tmp=(Element *)ourmalloc(sizeof(Element));
 +      GETELEMENTTYPE(tmp)= ELEMSET;
        tmp->set=s;
-       return &tmp->base;
+       tmp->encoding=NULL;
+       return tmp;
  }
  
 +Element* allocElementFunction(Function * function, Element ** array, uint numArrays, Boolean * overflowstatus){
 +    ElementFunction* ef = (ElementFunction*) ourmalloc(sizeof(ElementFunction));
 +    GETELEMENTTYPE(ef)= ELEMFUNCRETURN;
 +    ef->function=function;
 +    ef->overflowstatus = overflowstatus;
 +    ef->Elements = allocVectorArrayElement(numArrays, array);
 +    return &ef->base;
 +}
 +
  void deleteElement(Element *This) {
        ourfree(This);
  }
@@@ -2,28 -2,12 +2,31 @@@
  #define ELEMENT_H
  #include "classlist.h"
  #include "mymemory.h"
 +#include "ops.h"
 +#include "structs.h"
  
 +#define GETELEMENTTYPE(o) (((Element*)o)->type)
 +
++//FIXME:TALK ABOUT ELEMENT
  struct Element {
-       ElementType type;
++      ElementType type;
+       Set * set;
+       ElementEncoding * encoding;
  };
  
- Element * allocElementSet(Set *s);
 +struct ElementSet {
 +    Element base;
 +    Set * set;
 +};
 +
 +struct ElementFunction{
 +    Element base;
 +    Function * function;
 +    VectorElement* Elements;
 +    Boolean * overflowstatus;
 +};
 +
+ Element * allocElement(Set *s);
 +Element* allocElementFunction(Function * function, Element ** array, uint numArrays, Boolean * overflowstatus);
  void deleteElement(Element *This);
  #endif
diff --cc src/AST/ops.h
Simple merge
diff --cc src/classlist.h
@@@ -36,12 -38,8 +39,11 @@@ typedef struct IncrementalSolver Increm
  
  struct Set;
  typedef struct Set Set;
  typedef struct Set MutableSet;
  
 +typedef struct ElementFunction ElementFunction;
 +typedef struct ElementSet ElementSet;
 +
  struct Element;
  typedef struct Element Element;
  
diff --cc src/csolver.c
Simple merge