Class JungGraphVisualizationProvider.EdgeVisualization
- java.lang.Object
-
- net.automatalib.visualization.jung.JungGraphVisualizationProvider.EdgeVisualization
-
- Enclosing class:
- JungGraphVisualizationProvider
public static final class JungGraphVisualizationProvider.EdgeVisualization extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static Function<JungGraphVisualizationProvider.EdgeVisualization,Paint>
DRAW_COLOR
Color
drawColor
String
label
static Function<JungGraphVisualizationProvider.EdgeVisualization,String>
LABEL
Stroke
stroke
static Function<JungGraphVisualizationProvider.EdgeVisualization,Stroke>
STROKE
-
Constructor Summary
Constructors Constructor Description EdgeVisualization(String label, Color drawColor, Stroke stroke)
-
-
-
Field Detail
-
LABEL
public static final Function<JungGraphVisualizationProvider.EdgeVisualization,String> LABEL
-
DRAW_COLOR
public static final Function<JungGraphVisualizationProvider.EdgeVisualization,Paint> DRAW_COLOR
-
STROKE
public static final Function<JungGraphVisualizationProvider.EdgeVisualization,Stroke> STROKE
-
label
public final String label
-
drawColor
public final Color drawColor
-
stroke
public final Stroke stroke
-
-