de.ls5.jlearn.util
Class DotUtil

java.lang.Object
  de.ls5.jlearn.util.DotUtil

public class DotUtil
extends Object

Author:

merten

Constructor Summary

DotUtil()

Method Summary

static StringBuffer	getDot(String[] inputnames, String[] outputnames, int[] transitions, int[] outputs, int sigma)
static File	invokeDot(File input, String imagetype, File output)
static List<File>	invokeDot(List<Snapshot> snapshots, String namePrefix, String imageType)
static List<File>	invokeDot(List<Snapshot> snapshots, String namePrefix, String imagetype, File outputDir)
static File	invokeDot(Snapshot snap, String imagetype, File output)
static File	invokeDot(String dotstring, String imagetype, File output)
static String	invokeGraphviz(String tool, Automaton a, String imagetype)
static void	writeDot(Automaton a, Appendable out)
static void	writeDot(Automaton a, Appendable out, int realsigma)
static void	writeDot(Automaton a, Appendable out, int realsigma, List<State> highlights, Set<Symbol> hide, String description)
static void	writeDot(Automaton a, Appendable out, int realsigma, List<State> highlights, String description)
static void	writeDot(Automaton a, File outfile)
static void	writeDot(Automaton a, Set<Symbol> hideTransitionsWithOutput, File outfile)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DotUtil

public DotUtil()

Method Detail

invokeDot

public static List<File> invokeDot(List<Snapshot> snapshots,
                                   String namePrefix,
                                   String imageType)

invokeDot

public static List<File> invokeDot(List<Snapshot> snapshots,
                                   String namePrefix,
                                   String imagetype,
                                   File outputDir)

invokeDot

public static File invokeDot(Snapshot snap,
                             String imagetype,
                             File output)

invokeDot

public static File invokeDot(String dotstring,
                             String imagetype,
                             File output)

invokeDot

public static File invokeDot(File input,
                             String imagetype,
                             File output)

invokeGraphviz

public static String invokeGraphviz(String tool,
                                    Automaton a,
                                    String imagetype)

getDot

public static StringBuffer getDot(String[] inputnames,
                                  String[] outputnames,
                                  int[] transitions,
                                  int[] outputs,
                                  int sigma)

writeDot

public static void writeDot(Automaton a,
                            Set<Symbol> hideTransitionsWithOutput,
                            File outfile)

Parameters:

a -

hideTransitionsWithOutput -

outfile -

writeDot

public static void writeDot(Automaton a,
                            File outfile)

writeDot

public static void writeDot(Automaton a,
                            Appendable out)

writeDot

public static void writeDot(Automaton a,
                            Appendable out,
                            int realsigma)

writeDot

public static void writeDot(Automaton a,
                            Appendable out,
                            int realsigma,
                            List<State> highlights,
                            Set<Symbol> hide,
                            String description)

writeDot

public static void writeDot(Automaton a,
                            Appendable out,
                            int realsigma,
                            List<State> highlights,
                            String description)