commit after resolving conflicts
authorHamed <hamed.gorjiara@gmail.com>
Fri, 16 Jun 2017 23:42:33 +0000 (16:42 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Fri, 16 Jun 2017 23:42:33 +0000 (16:42 -0700)
1  2 
src/classlist.h
src/csolver.c
src/csolver.h

diff --cc src/classlist.h
@@@ -54,9 -54,12 +54,16 @@@ typedef struct ElementEncoding ElementE
  struct FunctionEncoding;
  typedef struct FunctionEncoding FunctionEncoding;
  
 +struct TableEntry;
 +typedef struct TableEntry TableEntry;
 +
++
+ typedef enum ArithOp ArithOp;
+ typedef enum LogicOp LogicOp;
+ typedef enum CompOp CompOp;
+ typedef enum OrderType OrderType;
+ typedef enum OverFlowBehavior OverFlowBehavior;
  typedef unsigned int uint;
  typedef uint64_t VarType;
  #endif
diff --cc src/csolver.c
Simple merge
diff --cc src/csolver.h
@@@ -5,12 -5,17 +5,19 @@@
  #include "structs.h"
  
  struct CSolver {
+       /** This is a vector of constraints that must be satisfied. */
        VectorBoolean * constraints;
+       /** This is a vector of all boolean structs that we have allocated. */
        VectorBoolean * allBooleans;
+       /** This is a vector of all set structs that we have allocated. */
        VectorSet * allSets;
+       /** This is a vector of all element structs that we have allocated. */
        VectorElement * allElements;
 +      VectorPredicate * allPredicates;
 +      VectorTable * allTables;
  };
  
  /** Create a new solver instance. */