Uses of Package
edu.mit.csail.sdg.alloy4graph

Packages that use edu.mit.csail.sdg.alloy4graph

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

Classes in edu.mit.csail.sdg.alloy4graph used by edu.mit.csail.sdg.alloy4graph

DotColor
Immutable; this defines the set of possible colors.

DotDirection
Immutable; this defines the set of possible edge directions.

DotPalette
Immutable; this defines the set of possible color palettes.

DotShape
Immutable; this defines the set of possible node shapes (BOX, CIRCLE, ELLIPSE...)

DotStyle
Immutable; this defines the set of possible line styles (SOLID, DASHED, DOTTED...)

Graph
Mutable; represents a graph.

GraphEdge
Mutable; represents a graphical edge.

GraphNode
Mutable; represents a graphical node.

Classes in edu.mit.csail.sdg.alloy4graph used by edu.mit.csail.sdg.alloy4viz

DotColor
Immutable; this defines the set of possible colors.

DotPalette
Immutable; this defines the set of possible color palettes.

DotShape
Immutable; this defines the set of possible node shapes (BOX, CIRCLE, ELLIPSE...)

DotStyle
Immutable; this defines the set of possible line styles (SOLID, DASHED, DOTTED...)

GraphViewer
This class displays the graph.