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.
- Ptolemy II 0.2
Interface Summary Interface Description CPO<T>An interface defining the operations on complete partial order (CPO). InequalityTermAn interface for a term in an inequality over a CPO. NonLatticeCounterExample.ExampleTypeMarker interface for the counter example type.
Class Summary Class Description DirectedAcyclicGraphA directed acyclic graph (DAG). DirectedGraphA directed graph. EdgeA weighted or unweighted edge for a directed or undirected graph. ElementA base class for graph elements (nodes and edges). ElementListA list of graph elements. GraphA graph with optionally-weighted nodes and edges. InequalityAn inequality over a CPO. InequalitySolverAn algorithm to solve a set of inequality constraints. LabeledListA list of unique objects (elements) with a mapping from the elements into consecutive integer labels. NodeAn optionally-weighted node for an undirected or directed graph. NonLatticeCounterExampleA data structure that provides counterexample information when a graph is tested to see if it is a lattice.
Enum Summary Enum Description CPO.BoundTypeAn 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.GraphExampleTypeAn enumeration type to represent the types of counterexamples that can be found when checking to see if a graph is a lattice.
Exception Summary Exception Description GraphActionExceptionException for graph action errors. GraphConstructionExceptionThe exception of modifying graph elements in wrong ways. GraphElementExceptionThe exception of accessing graph elements in wrong ways. GraphExceptionBase exception for graph errors. GraphInvalidStateExceptionException for graph invalid state action errors. GraphStateExceptionThe exception of computing a function of graph with wrong states. GraphTopologyExceptionThe exception thrown due to incorrect graph topology. GraphWeightExceptionException for unweighted graphs or graphs with improper weights.