Uses of Class
conexp.fx.gui.graph.option.EdgeHighlight

Packages that use EdgeHighlight

Package	Description
conexp.fx.gui.graph
conexp.fx.gui.graph.option

Uses of EdgeHighlight in conexp.fx.gui.graph

Fields in conexp.fx.gui.graph declared as EdgeHighlight

Modifier and Type	Field and Description
protected EdgeHighlight	Graph.HighlightRequest.edgeHighlightOption

Constructors in conexp.fx.gui.graph with parameters of type EdgeHighlight

Constructor and Description
HighlightRequest(Set<T> elements, EdgeHighlight edgeHighlightPolicy, javafx.scene.paint.Color vertexColor, javafx.scene.paint.Color edgeColor, javafx.scene.paint.Color objectLabelBackColor, javafx.scene.paint.Color objectLabelTextColor, javafx.scene.paint.Color attributeLabelBackColor, javafx.scene.paint.Color attributeLabelTextColor)

Uses of EdgeHighlight in conexp.fx.gui.graph.option

Methods in conexp.fx.gui.graph.option that return EdgeHighlight

Modifier and Type	Method and Description
static EdgeHighlight	EdgeHighlight.valueOf(String name) Returns the enum constant of this type with the specified name.
static EdgeHighlight[]	EdgeHighlight.values() Returns an array containing the constants of this enum type, in the order they are declared.