- Boolean *constraint = iterator->next();
- model_print("Encoding All ...\n\n");
- Edge c = encodeConstraintSATEncoder(This, constraint);
- model_print("Returned Constraint in EncodingAll:\n");
- ASSERT( !equalsEdge(c, E_BOGUS));
- addConstraintCNF(This->cnf, c);
+ BooleanEdge constraint = iterator->next();
+// constraint.getBoolean()->print();
+ Edge c = encodeConstraintSATEncoder(constraint);
+ addConstraintCNF(cnf, c);