- ModelList<predicate_expr>::iterator it;
- for (it = predicates.begin(); it != predicates.end(); it++) {
- if (predicate == *it)
- return;
+ /* check duplication? */
+ children.push_back(child);
+}
+
+void Predicate::print_predicate()
+{
+ model_print("\"%p\" [shape=box, label=\"\n", this);
+ func_inst->print();
+ PredExprSetIter * it = pred_expressions.iterator();
+
+ if (pred_expressions.getSize() == 0)
+ model_print("no predicate\n");
+
+ while (it->hasNext()) {
+ struct pred_expr * expr = it->next();
+ model_print("predicate: token: %d, location: %p, value: %d\n", expr->token, expr->location, expr->value);