Package | Description |
---|---|
ptolemy.graph |
Algorithms for manipulation and analyzing mathematical graphs.
|
Modifier and Type | Class and Description |
---|---|
class |
Edge
A weighted or unweighted edge for a directed or undirected graph.
|
class |
Node
An optionally-weighted node for an undirected or directed graph.
|
Modifier and Type | Method and Description |
---|---|
Element |
ElementList.element(java.lang.Object weight)
Return an element in this list that has a specified weight.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ElementList.cancelWeight(Element element)
Disassociate the given element from its weight information.
|
boolean |
ElementList.changeWeight(Element element)
Given an element in this list, check if the weight has
changed (since the element was added to the graph or was
last validated, whichever is more recent), and if so,
change the current mapping of a weight to the element or
remove the element from the set of unweighted elements.
|
static java.lang.String |
GraphException.elementDump(Element element,
Graph graph)
Return a dump of a graph element and the container graph suitable to
be appended to an error message.
|
void |
ElementList.registerWeight(Element element)
Associate a graph element to its weight given the relevant mapping of
weights to elements, and the set of unweighted elements of the same
type (nodes or edges).
|
boolean |
ElementList.remove(Element element)
Remove an element from this list if it exists in the list.
|
boolean |
ElementList.validateWeight(Element element,
java.lang.Object oldWeight)
Validate the weight of a given graph element, given the previous
weight of that element.
|
Constructor and Description |
---|
GraphElementException(Element element,
Graph graph,
java.lang.String message)
Constructor with arguments of element, graph, and a message.
|
GraphWeightException(java.lang.Object weight,
Element element,
Graph graph,
java.lang.String message)
Constructor with arguments of weight, element, graph,
and a message.
|