| AbstractControllerTool<T extends Automaton> |
An AbstractControllerTool is the abstraction of tools controlling a
controllable algorithm.
|
| AbstractStateTool<T extends Automaton> |
An AbstractStateTool is the abstraction of tools that create states.
|
| AbstractTransitionTool<T extends Automaton> |
An AbstractTransitionTool is the abstraction of tools that create
transitions.
|
| AccTool |
An AccTool is a tool for editing an acceptance condition.
|
| AltConnectorTool |
This is a tool for creating alternating connectors.
|
| AltStateTool |
This is a tool for creating alternating states.
|
| AltTransitionTool |
A AltTransitionTool is a tool for creating transitions in an
alternating automaton.
|
| AutomatonTool<T extends Automaton> |
An AutomatonTool is an abstraction of tool intended to operate on
automata.
|
| AutomatonToolBox |
An AutomatonToolBox contains several tools for editing automata.
|
| ColoringTool |
|
| ControllerToolBox |
A ControllerToolBox contains several tools for controlling
controllable algorithms.
|
| DeleteTool |
A DeleteTool is a tool that can delete states or transitions.
|
| FocusStateTool |
A FocusStateTool helps the user focus on a state and its neighbors by
making other components transparent.
|
| FSAStateTool |
An FSAStateTool can create states for finite state automata.
|
| FSATransitionTool |
A FSATransitionTool is a tool for creating transitions in a FSA.
|
| GamePlayer0StateTool |
A GamePlayer0StateTool can create states in a gram graph for the
player 0.
|
| GamePlayer1StateTool |
A GamePlayer1StateTool can create states in a gram graph for the
player 1.
|
| GameTransitionTool |
A GameTransitionTool is a tool that can create transitions in a game
graph.
|
| GeneralToolBox |
A GeneralToolBox contains several general purpose tools.
|
| InputSimulatorToolBox |
This class provides tools for controlling an input simulator.
|
| NewEditableTool |
A NewEditableTool is a tool that can create a new editable object.
|
| NextStageTool |
A NextStageTool can make the controllable algorithm in the active
editor perform steps until the next stage.
|
| NextStepTool |
A NextStepTool can make the controllable algorithm in the active
editor perform the next step.
|
| QPTLToolBox |
A QPTLToolBox contains several tools for QPTL formulae.
|
| RunDagToolBox |
This class provides tools for manipulating a run dag.
|
| RunTreeToolBox |
This class provides tools for manipulating a run tree.
|
| SelectTool |
A SelectTool is a tool that can select and move states and
transitions.
|
| SplitTreeToolBox |
This class provides tools for manipulating a split tree.
|
| StartPlayTool |
A StartPlayTool can make the controllable algorithm in the active
editor perform the rest steps automatically.
|
| StopPlayTool |
|
| TestTool |
This is a tool for debugging only.
|
| Tool<T extends Editable> |
A Tool appears as a button on the tool bar and can do something when
the button is clicked or selected.
|
| ToolBox |
A ToolBox is a tool bar containing a set of tools within the same
button group.
|
| ToolBoxRepository |
This is a repository for tool boxes.
|
| TwoWayAltTransitionTool |
|