Property | Type | Description | |
---|---|---|---|
start |
Method | Description | |
---|---|---|
AcceptsToken ( String token ) : bool | ||
AddIndividualCharacters ( Graph>.Dictionary |
Switches the character classes to individual characters
|
|
CombineGraphs ( |
Combines two graphs. Uses this as the base and adds the passed one to the end.
|
|
CombineGraphs ( |
||
CreateNewVertex ( ) : |
Creates a new vertex with a name equal to the current length of the vertex list
|
|
CreateNewVertex ( bool accepting ) : |
Creates a new vertex with a name equal to the current length of the vertex list
|
|
CreateNewVertex ( string name, bool accepting ) : |
Creates and returns a new BaseVertex with the given name and adds it to the graph
|
|
Equals ( object other ) : bool | ||
GetAdjacencyMatrix ( ) : List |
||
Graph ( ) : System |
Creates a new Graph with a default start vertex Vertices.
|
|
ReadFromFile ( String path ) : |
||
RemoveVertex ( |
Removes the given Vertex from the graph; also removes all edges which use this vertex.
|
|
SaveToFile ( String path ) : void | ||
ToDOT ( String graphName ) : String |
Stores this graph in the DOT format to show in graphviz
|
|
WriteTransitionTable ( ) : void | ||
findAcceptingParents ( char transChar ) : List |
public AddIndividualCharacters ( Graph>.Dictionary |
||
characterClasses | Graph>.Dictionary | |
return | void |
public CombineGraphs ( |
||
that | Graph -> The graph to tack onto this one. | |
return | void |
public CombineGraphs ( |
||
that | ||
spacewaster | bool | |
return | void |
public CreateNewVertex ( bool accepting ) : |
||
accepting | bool | Whether the vertex is an accepting state or not. |
return |
public CreateNewVertex ( string name, bool accepting ) : |
||
name | string | The name of the vertex to be added. The name must be unique. |
accepting | bool | |
return |
public static ReadFromFile ( String path ) : |
||
path | String | |
return |
public RemoveVertex ( |
||
toRemove | The Vertex which will be completely removed from the graph. | |
return | void |
public ToDOT ( String graphName ) : String | ||
graphName | String | The name of this graph. |
return | String |
public findAcceptingParents ( char transChar ) : List |
||
transChar | char | |
return | List |