Uses of Class
edu.mit.csail.sdg.alloy4graph.DotStyle

Packages that use DotStyle

edu.mit.csail.sdg.alloy4graph	This package performs graph layout.
edu.mit.csail.sdg.alloy4viz	This package displays Alloy4 instances.

Uses of DotStyle in edu.mit.csail.sdg.alloy4graph

Methods in edu.mit.csail.sdg.alloy4graph that return DotStyle

static DotStyle	DotStyle.parse(java.lang.String x) This method is used in parsing the XML value into a valid style; returns null if there is no match.
DotStyle	GraphEdge.style() Returns the line style; never null.
static DotStyle	DotStyle.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static DotStyle[]	DotStyle.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in edu.mit.csail.sdg.alloy4graph with parameters of type DotStyle

GraphEdge	GraphEdge.set(DotStyle style) Sets the line style.
GraphNode	GraphNode.set(DotStyle style) Changes the line style, then invalidate the computed bounds.
void	Artist.set(DotStyle style, double scale) Modifies the given Graphics2D object to use the line style representing by this object.

Uses of DotStyle in edu.mit.csail.sdg.alloy4viz

Fields in edu.mit.csail.sdg.alloy4viz with type parameters of type DotStyle

VizState.MMap<DotStyle>	VizState.edgeStyle
VizState.MMap<DotStyle>	VizState.nodeStyle

Methods in edu.mit.csail.sdg.alloy4viz that return DotStyle

DotStyle

VizState.nodeStyle(AlloyAtom a, AlloyInstance i)