|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |