AutoFuzzMain
Class GuiGraphBuilderFromFSA

java.lang.Object
  AutoFuzzMain.GuiGraphBuilderFromFSA

public class GuiGraphBuilderFromFSA
extends java.lang.Object

Constructor Summary

GuiGraphBuilderFromFSA()

Method Summary

edu.uci.ics.jung.graph.DirectedSparseMultigraph<java.lang.Integer,java.lang.String>	populateGraphFromFSA(FSAutomaton inputAutomaton, int statePointer) A recursive function that add children and edges for a particular state in the FSA
edu.uci.ics.jung.graph.DirectedSparseMultigraph<java.lang.Integer,java.lang.String>	populateGraphFromFSA(FSAutomaton inputAutomaton, int statePointer, java.util.ArrayList<java.lang.Integer> vertices)

Methods inherited from class java.lang.Object

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

Constructor Detail

GuiGraphBuilderFromFSA

public GuiGraphBuilderFromFSA()

Method Detail

populateGraphFromFSA

public edu.uci.ics.jung.graph.DirectedSparseMultigraph<java.lang.Integer,java.lang.String> populateGraphFromFSA(FSAutomaton inputAutomaton,
                                                                                                                int statePointer)

A recursive function that add children and edges for a particular state in the FSA

Parameters:

inputAutomaton - Input FSA

statePointer - A pointer to the state for which children to be added

Returns:

A directed Graph with the states, its children and edges added

populateGraphFromFSA

public edu.uci.ics.jung.graph.DirectedSparseMultigraph<java.lang.Integer,java.lang.String> populateGraphFromFSA(FSAutomaton inputAutomaton,
                                                                                                                int statePointer,
                                                                                                                java.util.ArrayList<java.lang.Integer> vertices)