Package de.saar.chorus.ubench

Provides basic classes used in the Underspecification Workbench.

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.
 

Package de.saar.chorus.ubench Description

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.