| AbstractDrawer |
This class provides a default implementation of the Drawer interface. |
| AltAutomatonDrawer |
This class provides an implementation of drawing alternating automata.
|
| ArrowInitialIndicator |
This class provides an arrow shape for the initial state indicator.
|
| AutomatonDrawer<T extends Automaton> |
This class provides methods for drawing a general automaton.
|
| CircleNode |
A CircleNode is a node displayed as a circle.
|
| Curve |
A Curve is a visual component for transitions.
|
| DrawerRepository |
A DrawerRepository contains a pool of registered drawers.
|
| DrawerUtils |
This class provides some utility methods for drawing an automaton.
|
| EditableDrawer<T extends Editable> |
An EditableDrawer is a drawer capable of drawing a class of editable
object.
|
| FormulaDrawer<T extends Logic> |
This is a drawer for logic formulae.
|
| FSADrawer |
This class provides an implementation of drawing finite state automata.
|
| GameDrawer |
This class provides an implementation of drawing games.
|
| GridlinesDrawer |
This class provides a drawer that draws grid lines in the visible area.
|
| IdleDrawer<T> |
This is an abstract drawer that draws information about an object at a
suggested location within a specific visible area when the cursor stops on
the object for a while.
|
| Node |
A Node is a visual component for states.
|
| SquareNode |
A SquareNode is a node displayed as a square.
|
| StateInfoDrawer |
This is a drawer that can display the information of a state.
|
| TextNode |
This class provides an implementation of tree nodes.
|
| TextTree |
This class provides an implementation of
Tree. |
| TriangleInitialIndicator |
This class provides a triangle shape for the initial state indicator.
|
| TwoWayAltAutomatonDrawer |
This class provides an implementation of drawing two-way alternating
automata.
|