Uses of Class
de.saar.chorus.ubench.jdomgraph.EdgeData

Packages that use EdgeData

Package	Description
de.saar.chorus.ubench.jdomgraph	Provides basic classes used in the Underspecification Workbench.

Uses of EdgeData in de.saar.chorus.ubench.jdomgraph

Methods in de.saar.chorus.ubench.jdomgraph that return EdgeData

Modifier and Type	Method	Description
EdgeData	JDomGraph.getEdgeData(org.jgraph.graph.DefaultEdge edge)	Get the edge data of an edge cell.

Methods in de.saar.chorus.ubench.jdomgraph with parameters of type EdgeData

Modifier and Type	Method	Description
org.jgraph.graph.DefaultEdge	JDomGraph.addEdge(EdgeData data, org.jgraph.graph.DefaultGraphCell src, org.jgraph.graph.DefaultGraphCell tgt)	Adds a new edge to the graph (and the underlying model).