edu.ucla.belief.io
Interface GraphvizIO.ExtraDotInfoSupplier

All Known Implementing Classes:
GraphvizIO.StandardNodeDimensionSupplier
Enclosing class:
GraphvizIO

public static interface GraphvizIO.ExtraDotInfoSupplier

Since:
020805

Method Summary
 String getGlobalGraphInfo()
           
 String getVertexInfo(Object vertex)
           
 

Method Detail

getVertexInfo

String getVertexInfo(Object vertex)

getGlobalGraphInfo

String getGlobalGraphInfo()


Copyright 2010 UCLA Automated Reasoning Group