edu.ucla.belief.io
Class GraphvizIO

Object
  extended by GraphvizIO

public class GraphvizIO
extends Object

Since:
020805
Author:
Keith Cascio

Nested Class Summary
static interface GraphvizIO.ExtraDotInfoSupplier
           
static class GraphvizIO.StandardNodeDimensionSupplier
           
 
Field Summary
static float FLOAT_PIXELS_PER_INCH
           
static int INT_DIM_PADDING
           
static String STR_ARG_DOT
           
static String STR_ARG_INPUTFILEPATH
           
static String STR_ARG_OUTPUTFILEPATH
           
 
Constructor Summary
GraphvizIO()
           
 
Method Summary
 Map gleanLayoutFromDot(File dotFile, Map data)
           
static void main(String[] args)
           
 void normalize(Map data)
           
static float scale(int dim)
           
 void writeDot(DirectedGraph dg, String title, PrintStream out)
           
 void writeDot(DirectedGraph dg, String title, Stringifier stringifier, GraphvizIO.ExtraDotInfoSupplier supplier, PrintStream out)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

GraphvizIO

public GraphvizIO()
Method Detail

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