Uses of Class
de.saar.chorus.domgraph.graph.EdgeData

Packages that use EdgeData

Package	Description
de.saar.chorus.domgraph.graph	Provides basic classes for representing labelled dominance graphs and basic algorithms running on them.

Uses of EdgeData in de.saar.chorus.domgraph.graph

Methods in de.saar.chorus.domgraph.graph that return EdgeData

Modifier and Type	Method	Description
EdgeData	DomGraph.getData(org._3pq.jgrapht.Edge edge)	Gets the data associated with the given edge.

Methods in de.saar.chorus.domgraph.graph with parameters of type EdgeData

Modifier and Type	Method	Description
void	DomGraph.addEdge(String src, String tgt, EdgeData data)	Adds an edge from "src" to "tgt" with the given edge data to the graph.