question: 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 ( ) ) ; }
target:  Debugging: dot representation of this graph