String toDot(){
  StringBuilder buf=new StringBuilder();
  for (  Type t : inferenceContext.undetvars) {
    UndetVar uv=(UndetVar)t;
    buf.append(String.format("var %s - upper bounds = %s, lower bounds = %s, eq bounds = %s\\n",uv.qtype,uv.getBounds(InferenceBound.UPPER),uv.getBounds(InferenceBound.LOWER),uv.getBounds(InferenceBound.EQ)));
  }
  return GraphUtils.toDot(nodes,"inferenceGraph" + hashCode(),buf.toString());
}

String toDot ( ) { StringBuilder buf = new StringBuilder ( ) ; for ( Type t : inferenceContext . undetvars ) { UndetVar uv = ( UndetVar ) t ; buf . append ( String . format ( "var %s - upper bounds = %s, lower bounds = %s, eq bounds = %s\\n" , uv . qtype , uv . getBounds ( InferenceBound . UPPER ) , uv . getBounds ( InferenceBound . LOWER ) , uv . getBounds ( InferenceBound . EQ ) ) ) ; } return GraphUtils . toDot ( nodes , "inferenceGraph" + hashCode ( ) , buf . toString ( ) ) ; }
debugging : dot representation of this graph
