fix hashing bug in all constraints

src/constraints/constraints.jl

@@ -8,6 +8,7 @@ type EqConstraint <: Constraint
   lhs::AbstractExpr
   rhs::AbstractExpr
   size::(Int, Int)
+  dual::ValueOrNothing
 
   function EqConstraint(lhs::AbstractExpr, rhs::AbstractExpr)
     if lhs.size == rhs.size || lhs.size == (1, 1)
@@ -17,7 +18,7 @@ type EqConstraint <: Constraint
     else
       error("Cannot create equality constraint between expressions of size $(lhs.size) and $(rhs.size)")
     end
-    return new(:(==), hash((lhs, rhs)), lhs, rhs, sz)
+    return new(:(==), hash((lhs, rhs, :(==))), lhs, rhs, sz, nothing)
   end
 end
 
@@ -61,7 +62,7 @@ type LtConstraint <: Constraint
     else
       error("Cannot create inequality constraint between expressions of size $(lhs.size) and $(rhs.size)")
     end
-    return new(:(<=), hash((lhs, rhs)), lhs, rhs, sz)
+    return new(:(<=), hash((lhs, rhs, :(<=))), lhs, rhs, sz)
   end
 end
 
@@ -106,7 +107,7 @@ type GtConstraint <: Constraint
     else
       error("Cannot create inequality constraint between expressions of size $(lhs.size) and $(rhs.size)")
     end
-    return new(:(>=), hash((lhs, rhs)), lhs, rhs, sz)
+    return new(:(>=), hash((lhs, rhs, :(>=))), lhs, rhs, sz)
   end
 end
 

src/constraints/exp_constraints.jl

@@ -13,7 +13,7 @@ type ExpConstraint <: Constraint
     # @assert(x.size == (1,1),
     #        "Exponential constraint requires x, y, and z to be scalar for now")
     sz = x.size
-    return new(:exp, hash((x,y,z)), (x, y, z), sz)
+    return new(:exp, hash((x,y,z, :exp)), (x, y, z), sz)
   end
 end
 

src/constraints/sdp_constraints.jl

@@ -13,7 +13,7 @@ type SDPConstraint <: Constraint
     if sz[1] != sz[2]
       error("Positive semidefinite expressions must be square")
     end
-    return new(:sdp, hash(child), child, sz)
+    return new(:sdp, hash((child, :sdp)), child, sz)
   end
 end
 

src/constraints/soc_constraints.jl

@@ -7,7 +7,7 @@ type SOCConstraint <: Constraint
 
   function SOCConstraint(args::AbstractExpr...)
     children = tuple(args...)
-    return new(:soc, hash(children), children)
+    return new(:soc, hash((children, :soc)), children)
   end
 end