Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

Because of memory bugs that vector had

diff --combined src/Backend/constraint.h
index 964c697be1649cb5a174e678e99248632a4c3d07,0d254c83d5ff56d3d2fd25214c0ae53ee8e11871..cf66791ea609b7fbab106956e3f4fb54e7ade34b
--- 1/src/Backend/constraint.h
--- 2/src/Backend/constraint.h
+++ b/src/Backend/constraint.h
@@@ -34,7 -34,7 +34,7 @@@ void deleteConstraint(Constraint *)
  void printConstraint(Constraint * c);
  void dumpConstraint(Constraint * c, IncrementalSolver *solver);
  static inline uint getVarConstraint(Constraint * c) {ASSERT(c->type==VAR); return c->numoperandsorvar;}
 -VectorConstraint * simplify(Constraint * c);
 +VectorConstraint * simplifyConstraint(Constraint * This);
  static inline CType getType(Constraint * c) {return c->type;}
  static inline bool isFalse(Constraint * c) {return c->type==FALSE;}
  static inline bool isTrue(Constraint * c) {return c->type==TRUE;}
@@@ -44,6 -44,7 +44,7 @@@ Constraint * cloneConstraint(Constrain
  static inline void setNegConstraint(Constraint * This, Constraint *c) {This->neg=c;}
  Constraint *negateConstraint(Constraint * c);
  
+ 
  extern Constraint ctrue;
  extern Constraint cfalse;
  
@@@ -51,4 -52,6 +52,6 @@@ Constraint * generateBinaryConstraint(u
  Constraint * generateLTConstraint(uint numvars, Constraint ** vars, uint value);
  Constraint * generateEquivNVConstraint(uint numvars, Constraint **var1, Constraint **var2);
  Constraint * generateEquivConstraint(Constraint *var1, Constraint *var2);
+ 
+ 
  #endif