Uses of Interface
de.saar.chorus.jgraph.improvedjgraph.INodeData
Packages that use INodeData
Package
Description
Provides basic classes used in the Underspecification Workbench.
-
Uses of INodeData in de.saar.chorus.jgraph.improvedjgraph
Classes in de.saar.chorus.jgraph.improvedjgraph with type parameters of type INodeDataModifier and TypeClassDescriptionclassImprovedJGraph<NodeType,NodeData extends INodeData<NodeType>, EdgeType, EdgeData extends IEdgeData<EdgeType>> classImprovedJGraphAdapter<NodeType,NodeData extends INodeData<NodeType>, EdgeType, EdgeData extends IEdgeData<EdgeType>> Classes in de.saar.chorus.jgraph.improvedjgraph that implement INodeDataMethods in de.saar.chorus.jgraph.improvedjgraph with type parameters of type INodeDataModifier and TypeMethodDescriptionstatic <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 INodeData in de.saar.chorus.ubench.jdomgraph
Classes in de.saar.chorus.ubench.jdomgraph that implement INodeDataModifier and TypeClassDescriptionclassThe data that can be stored in the node of a dominance graph -- namely, a name, a label, and a node type.