Package | Description |
---|---|
net.automatalib.visualization.jung |
Modifier and Type | Field and Description |
---|---|
static org.apache.commons.collections15.Transformer<JungGraphVisualizationProvider.NodeVisualization,Paint> |
JungGraphVisualizationProvider.NodeVisualization.DRAW_COLOR |
static org.apache.commons.collections15.Transformer<JungGraphVisualizationProvider.NodeVisualization,Paint> |
JungGraphVisualizationProvider.NodeVisualization.FILL_COLOR |
static org.apache.commons.collections15.Transformer<JungGraphVisualizationProvider.NodeVisualization,String> |
JungGraphVisualizationProvider.NodeVisualization.LABEL |
static org.apache.commons.collections15.Transformer<JungGraphVisualizationProvider.NodeVisualization,Shape> |
JungGraphVisualizationProvider.NodeVisualization.SHAPE |
static org.apache.commons.collections15.Transformer<JungGraphVisualizationProvider.NodeVisualization,Stroke> |
JungGraphVisualizationProvider.NodeVisualization.STROKE |
Modifier and Type | Method and Description |
---|---|
protected static JungGraphVisualizationProvider.NodeVisualization |
JungGraphVisualizationProvider.createNodeVisualization(Map<String,String> props,
int id) |
Modifier and Type | Method and Description |
---|---|
static <N,E> DirectedGraph<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization> |
JungGraphVisualizationProvider.createVisualizationGraph(Graph<N,E> graph,
GraphDOTHelper<N,? super E> helper) |
Modifier and Type | Method and Description |
---|---|
static void |
JungGraphVisualizationProvider.setupRenderContext(RenderContext<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization> ctx) |
Copyright © 2015. All rights reserved.