|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
DomGraphPopupListener | Listeners that implement this interface can be registered in a JDomGraph object to be called every time the user selects an item from a popup menu. |
Class Summary | |
---|---|
DomGraphLayout | A layout algorithm for a dominance graph represented by a JDomGraph. |
DomGraphLayoutParameters | Storing the general parameters (distances between nodes and fragments). |
DomGraphTConverter | This converts a DomGraph to a
JDomGraph |
DummyPopupListener | |
EdgeData | The data that can be stored in the edge of a dominance graph -- namely, a name and an edge type. |
EdgeType | An edge type -- either solid or dominance. |
Fragment | A fragment in a dominance graph. |
FragmentTower | A special part for the layout of a dominance graph. |
JDomGraph | A Swing component that represents a labelled dominance graph. |
NodeData | The data that can be stored in the node of a dominance graph -- namely, a name, a label, and a node type. |
NodeType | A node type -- either labelled or unlabelled (i.e. |
ServerOptions | Class storing the server options set in Ubench. |
Provides basic classes used in the Underspecification Workbench.
Primarily, these are the class JDomGraph
for a visual representation
of a labelled dominance graph as a Swing component, and various classes
related to the layout algorithm for dominance graphs.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |