Method print_model_val

tools/transform.cpp:93–110

}

void tools::print_model_val(ostream &os, State &st, const Model &m,
                            const Value *var, const Type &type,
                            const StateValue &val, unsigned child) {
  if (!type.isAggregateType()) {
    print_single_varval(os, st, m, var, type, val, child);
    return;
  }

  os << (type.isStructType() ? "{ " : "< ");
  auto agg = type.getAsAggregateType();
  for (unsigned i = 0, e = agg->numElementsConst(); i < e; ++i) {
    if (i != 0)
      os << ", ";
    tools::print_model_val(os, st, m, var, agg->getChild(i),
                           agg->extract(val, i), child + i);
  }
  os << (type.isStructType() ? " }" : " >");
}


using print_var_val_ty = function<void(ostream&, const Model&)>;