See: Description
Interface | Description |
---|---|
CPO<T> |
An interface defining the operations on complete partial order (CPO).
|
InequalityTerm |
An interface for a term in an inequality over a CPO.
|
NonLatticeCounterExample.ExampleType |
Marker interface for the counter example type.
|
Class | Description |
---|---|
DirectedAcyclicGraph |
A directed acyclic graph (DAG).
|
DirectedGraph |
A directed graph.
|
Edge |
A weighted or unweighted edge for a directed or undirected graph.
|
Element |
A base class for graph elements (nodes and edges).
|
ElementList |
A list of graph elements.
|
Graph |
A graph with optionally-weighted nodes and edges.
|
Inequality |
An inequality over a CPO.
|
InequalitySolver |
An algorithm to solve a set of inequality constraints.
|
LabeledList |
A list of unique objects (elements) with a mapping from the
elements into consecutive integer labels.
|
Node |
An optionally-weighted node for an undirected or directed graph.
|
NonLatticeCounterExample |
A data structure that provides counterexample information when a graph is
tested to see if it is a lattice.
|
Enum | Description |
---|---|
CPO.BoundType |
An enumeration type to represent the two different types of bounds
that can be calculated on a set of nodes in a CPO; either
a greatest lower bound or least upper bound.
|
NonLatticeCounterExample.GraphExampleType |
An enumeration type to represent the types of counterexamples
that can be found when checking to see if a graph is a lattice.
|
Exception | Description |
---|---|
GraphActionException |
Exception for graph action errors.
|
GraphConstructionException |
The exception of modifying graph elements in wrong ways.
|
GraphElementException |
The exception of accessing graph elements in wrong ways.
|
GraphException |
Base exception for graph errors.
|
GraphInvalidStateException |
Exception for graph invalid state action errors.
|
GraphStateException |
The exception of computing a function of graph with wrong states.
|
GraphTopologyException |
The exception thrown due to incorrect graph topology.
|
GraphWeightException |
Exception for unweighted graphs or graphs with improper weights.
|
Documentation for the ptolemy.graph package may be found in Volume 2 of the Ptolemy Design Document, available at http://ptolemy.eecs.berkeley.edu/ptolemyII/designdoc.htm.
Significant portions of the ptolemy.graph
package were developed
by Professor Shuvra S. Bhattacharyya and his group.