Uses of Interface
de.saar.chorus.jgraph.improvedjgraph.IEdgeData

Packages that use IEdgeData

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

Uses of IEdgeData in de.saar.chorus.jgraph.improvedjgraph

Classes in de.saar.chorus.jgraph.improvedjgraph with type parameters of type IEdgeData

Modifier and Type	Class	Description
class	ImprovedJGraph<NodeType,NodeData extends INodeData<NodeType>,EdgeType,EdgeData extends IEdgeData<EdgeType>>
class	ImprovedJGraphAdapter<NodeType,NodeData extends INodeData<NodeType>,EdgeType,EdgeData extends IEdgeData<EdgeType>>

Classes in de.saar.chorus.jgraph.improvedjgraph that implement IEdgeData

Modifier and Type	Class	Description
class	EdgeDataAdapter<E>

Methods in de.saar.chorus.jgraph.improvedjgraph with type parameters of type IEdgeData

Modifier and Type	Method	Description
static <NodeType, NodeData extends INodeData<NodeType>, EdgeType, EdgeData extends IEdgeData<EdgeType>> Map<Object,org.jgraph.graph.DefaultGraphCell>	ImprovedJGraphAdapter.convert(org._3pq.jgrapht.Graph graph, DataFactory<NodeData,EdgeData> factory, ImprovedJGraph<NodeType,NodeData,EdgeType,EdgeData> jgraph)	Converts a JGraphT graph into an ImprovedJGraph.

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

Classes in de.saar.chorus.ubench.jdomgraph that implement IEdgeData

Modifier and Type	Class	Description
class	EdgeData	The data that can be stored in the edge of a dominance graph -- namely, a name and an edge type.