|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Edge | |
byucc.jhdl.synth | |
byucc.jhdl.synth.graph |
Uses of Edge in byucc.jhdl.synth |
Subclasses of Edge in byucc.jhdl.synth | |
class |
CFEdge
The basic edge for any ControlFlowGraph. |
class |
DFEdge
The basic edge for any DataFlowGraph. |
Methods in byucc.jhdl.synth that return Edge | |
Edge |
DFSubGraph.addEdge(Vertex tail,
Vertex head)
Add a new Edge to the subGraph. |
protected Edge |
DataFlowGraph.newEdge(Vertex tail,
Vertex head)
Overrides newEdge in Graph so that all edges in a DataFlowGraph will be of type DFEdge. |
protected Edge |
ControlFlowGraph.newEdge(Vertex tail,
Vertex head)
Overrides newEdge in Graph so that all edges in a ControlFlowGraph will be of type CFEdge. |
Uses of Edge in byucc.jhdl.synth.graph |
Methods in byucc.jhdl.synth.graph that return Edge | |
Edge |
Graph.addEdge(Vertex tail,
Vertex head)
Adds an Edge to the graph (tailVertex -> headVertex). |
Edge |
Graph.addEdge(Edge edge)
Adds an Edge to the graph using an existing Edge object. |
protected Edge |
Graph.newEdge(Vertex tail,
Vertex head)
This method will create the appropriate vertex for the graph. |
Edge |
Graph.getEdge(Vertex tail,
Vertex head)
Get the edge going from tail to head, (or null if no edge goes from tail to edge). |
Edge |
EdgeIterator.getEdge()
Get the Edge at which the Iterator currently points. |
Edge |
EdgeIterator.getEdgeAt(int index)
Get the Edge that has the given index. |
Edge |
EdgeVector.edgeAt(int index)
Returns the edge at the specified index. |
Edge |
DAG.addEdge(Edge edge)
Adds an Edge to the graph using an existing Edge object. |
protected Edge |
Vertex.findEdgeTo(Vertex head)
Find the edge going from this vertex to the vertex head. |
Methods in byucc.jhdl.synth.graph with parameters of type Edge | |
Edge |
Graph.addEdge(Edge edge)
Adds an Edge to the graph using an existing Edge object. |
static void |
Graph.removeEdge(Edge edge)
Removes an Edge from the graph using an existing Edge object. |
boolean |
Graph.hasEdge(Edge edge)
Does this graph contain the given edge |
void |
Graph.setEdgeProperty(Edge e,
java.lang.String key,
java.lang.String value)
|
void |
EdgeVector.addEdge(Edge e)
Adds an edge to the end of this EdgeVector |
boolean |
EdgeVector.removeEdge(Edge e)
Removes an edge from this EdgeVector This method identifies the edge to be removed by using the equals method in Edge. |
Edge |
DAG.addEdge(Edge edge)
Adds an Edge to the graph using an existing Edge object. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |