Package | Description |
---|---|
ptolemy.actor |
Executable entities.
|
ptolemy.graph |
Algorithms for manipulation and analyzing mathematical graphs.
|
Modifier and Type | Method and Description |
---|---|
protected void |
GraphReader._processNewEdge(Graph graph,
Edge edge,
IOPort sourcePort,
IOPort sinkPort)
Process a new edge corresponding to a given connection in a given graph.
|
Modifier and Type | Method and Description |
---|---|
protected Edge |
DirectedAcyclicGraph._addEdge(Node node1,
Node node2,
boolean weighted,
java.lang.Object weight)
Create and add an edge with a specified source node, sink node,
and optional weight.
|
protected Edge |
Graph._addEdge(Node node1,
Node node2,
boolean weighted,
java.lang.Object weight)
Create and add an edge with a specified source node, sink node,
and optional weight.
|
Edge |
Graph.addEdge(Edge edge)
Add a pre-constructed edge (unweighted or weighted).
|
Edge |
Graph.addEdge(Node node1,
Node node2)
Add an unweighted edge between two nodes.
|
Edge |
Graph.addEdge(Node node1,
Node node2,
java.lang.Object weight)
Add a weighted edge between two nodes.
|
Edge |
Graph.edge(int label)
Return an edge in this graph given the edge label;
the returned edge may be hidden see
Graph.hideEdge(Edge) . |
Edge |
Graph.edge(java.lang.Object weight)
Return an edge in this graph that has a specified weight.
|
Modifier and Type | Method and Description |
---|---|
protected void |
Graph._connect(Edge edge,
Node node)
Connect an edge to a node by appropriately modifying
the adjacency information associated with the node.
|
protected void |
DirectedGraph._connect(Edge edge,
Node node)
Connect an edge to a node by appropriately modifying
the adjacency information associated with the node.
|
protected void |
Graph._connectEdge(Edge edge)
Connect a given edge in this graph.
|
protected void |
Graph._disconnect(Edge edge,
Node node)
Disconnect an edge from a node that it is incident to.
|
protected void |
DirectedGraph._disconnect(Edge edge,
Node node) |
protected void |
Graph._disconnectEdge(Edge edge)
Disconnect a given edge in this graph.
|
protected void |
Graph._registerEdge(Edge edge)
Register a new edge in the graph.
|
Edge |
Graph.addEdge(Edge edge)
Add a pre-constructed edge (unweighted or weighted).
|
static void |
GraphElementException.checkEdge(Edge edge,
Graph graph)
Verify that an edge is in the container graph.
|
boolean |
Graph.containsEdge(Edge edge)
Return true if the specified edge exists in the graph, and the
edge is not hidden in the graph.
|
int |
Graph.edgeLabel(Edge edge)
Return the edge label of the specified edge.
|
boolean |
Graph.hidden(Edge edge)
Return true if a given edge is hidden in this graph.
|
boolean |
Graph.hideEdge(Edge edge)
Hide an edge if the edge exists in the graph and is not already hidden.
|
boolean |
Graph.removeEdge(Edge edge)
Remove an edge from this graph if it exists in the graph.
|
boolean |
Graph.restoreEdge(Edge edge)
Restore an edge if the edge exists in the graph and is presently
hidden.
|
boolean |
Graph.validateWeight(Edge edge)
Validate the weight of an edge.
|
boolean |
Graph.validateWeight(Edge edge,
java.lang.Object oldWeight)
Validate the weight of an edge given the edge and its previous weight.
|