Package edu.mit.csail.sdg.alloy4graph

This package performs graph layout.

See:
Description

Class Summary

Artist	This class abstracts the drawing operations so that we can draw the graph using different frameworks such as Java2D or PDF.
AvailableSpace	Mutable; this allows you to compute whether a rectangle overlaps with a set of rectangles or not.
Graph	Mutable; represents a graph.
GraphEdge	Mutable; represents a graphical edge.
GraphNode	Mutable; represents a graphical node.
GraphViewer	This class displays the graph.

Enum Summary

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...)

Package edu.mit.csail.sdg.alloy4graph Description

This package performs graph layout.