edu.ucla.belief.io
Class GraphvizIO
Object
GraphvizIO
public class GraphvizIO
- extends Object
- Since:
- 020805
- Author:
- Keith Cascio
FLOAT_PIXELS_PER_INCH
public static float FLOAT_PIXELS_PER_INCH
INT_DIM_PADDING
public static int INT_DIM_PADDING
STR_ARG_DOT
public static final String STR_ARG_DOT
- See Also:
- Constant Field Values
STR_ARG_INPUTFILEPATH
public static final String STR_ARG_INPUTFILEPATH
- See Also:
- Constant Field Values
STR_ARG_OUTPUTFILEPATH
public static final String STR_ARG_OUTPUTFILEPATH
- See Also:
- Constant Field Values
GraphvizIO
public GraphvizIO()
normalize
public void normalize(Map data)
- Since:
- 020805
gleanLayoutFromDot
public Map gleanLayoutFromDot(File dotFile,
Map data)
throws IOException
- Throws:
IOException
- Since:
- 020705
writeDot
public void writeDot(DirectedGraph dg,
String title,
PrintStream out)
- Since:
- 020705
writeDot
public void writeDot(DirectedGraph dg,
String title,
Stringifier stringifier,
GraphvizIO.ExtraDotInfoSupplier supplier,
PrintStream out)
- Since:
- 020705
scale
public static float scale(int dim)
- Since:
- 020805
main
public static void main(String[] args)
- Since:
- 020705
Copyright 2010 UCLA Automated Reasoning Group