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

Packages that use DotColor

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

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

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

static DotColor	DotColor.parse(java.lang.String x) This method is used in parsing the XML value into a valid color; returns null if there is no match.
static DotColor	DotColor.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static DotColor[]	DotColor.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 DotColor

static java.lang.Object[]

DotColor.valuesWithout(DotColor exclude) Returns the list of values that the user is allowed to select from.

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

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

VizState.MMap<DotColor>	VizState.edgeColor
VizState.MMap<DotColor>	VizState.nodeColor

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

DotColor

VizState.nodeColor(AlloyAtom a, AlloyInstance i)