| AbstractAccEditor |
An AbstractAccEditor is an editor for editing an acceptance
condition.
|
| AbstractGraphicComponentListModel<T extends GraphicComponent,S extends AbstractGraphicComponentSet<T,S>> |
An AbstractGraphicComponentSetModel is a sorted
javax.swing.ListModel containing a set of graphic components.
|
| AbstractGraphicComponentSetListModel<T extends GraphicComponent,S extends AbstractGraphicComponentSet<T,S>> |
A AbstractGraphicComponentSetListModel is a sorted
javax.swing.ListModel containing a set of graphic components.
|
| AbstractNBWLikeAccEditor |
This is a property editor for editing NBW-like acceptance conditions.
|
| AbstractNGBWLikeAccEditor |
This is an editor for editing NGBW-like acceptance conditions.
|
| AbstractNRWLikeAccEditor |
This is an editor for editing NRW-like acceptance conditions.
|
| AbstractNTBWLikeAccEditor |
This is a property editor for editing NTBW-like acceptance conditions.
|
| AbstractNTGBWLikeAccEditor |
This is a property editor for editing NTGBW-like acceptance conditions.
|
| AbstractNTRWLikeAccEditor |
This is a property editor for editing NTRW-like acceptance conditions.
|
| AccDialog |
An AccDialog is a dialog containing an editor suitable for editing
the acceptance condition of the active automaton in a specific GOAL window.
|
| AccSetCellRender |
A AccSetCellRender renders an acceptance set in a
javax.swing.JList.
|
| AccSetEditor |
An AccSetEditor is an editor for editing an acceptance set.
|
| ACTLEditor |
An ACTLEditor is an editor for ACTL formulae.
|
| AlphabetConversionDialog |
This is a dialog for editing the mapping between propositional symbols and
classical symbols.
|
| AltAutomatonCanvas |
This is a canvas for alternating automata.
|
| AltAutomatonEditor |
This is an editor for editing alternating automata.
|
| AltAutomatonPropertyEditor |
This is a property editor for alternating automata.
|
| AltConnectorPropertyEditor |
This is a property editor for alternating connectors.
|
| AltStatePropertyEditor |
This is a property editor for alternating states.
|
| AltTransitionPropertyEditor |
An AltTransitionPropertyEditor editor is a property editor for
alternating transitions.
|
| AutomatonCanvas<T extends Automaton> |
An AutomatonCanvas is a panel containing an automaton drawer and automaton
tools that can draw something.
|
| AutomatonEditor<T extends Automaton> |
An AutomatonEditor is an editor for automata.
|
| AutomatonPropertyEditor |
This is a property editor for automata.
|
| BuchiAccEditor |
This is an editor for Büchi acceptance conditions.
|
| ClassicAccEditor |
This is an editor for classic acceptance conditions.
|
| CoBuchiAccEditor |
This is an editor for co-Büchi acceptance conditions.
|
| ConfigurationRunViewer |
This class provides methods for the visualization of a configuration run
InputSimulator.Run. |
| EditablePropertyEditor |
This is a property editor for editable objects.
|
| Editor<T extends Editable> |
An Editor is a panel that can display an editable object and perform
some editing.
|
| EditorRepository |
EditorRepository provides methods for registering editors and
accessing registered editors.
|
| FormulaEditor<T extends Logic> |
A FormulaEditor is an editor for logic formulae.
|
| FSACanvas |
An FSACanvas is a canvas for FSA.
|
| FSAEditor |
An FSAEditor is an editor for FSA.
|
| GameCanvas |
A GameCanvas is a canvas for games.
|
| GameEditor |
A GameEditor is an editor for games.
|
| GamePropertyEditor |
A GamePropertyEditor is a property editor for games.
|
| GameStatePropertyEditor |
A GameStatePropertyEditor is a property editor for game states.
|
| GeneralizedBuchiAccEditor |
This is an editor for generalized Büchi acceptance conditions.
|
| GraphicComponentAccSetEditor |
A GraphicComponentAccSetEditor is an editor for editing an acceptance
set containing graphic components.
|
| GraphicComponentCellRenderer |
This is a cell render for graphic components.
|
| GraphicComponentListModel |
A StateListModel is a sorted javax.swing.ListModel containing
a set of states.
|
| GraphicComponentPropertyEditor |
A GraphicComponentPropertyEditor is a property editor for graph
components such as states and transitions.
|
| GraphicComponentSetListModel |
A GraphicComponentSetListModel is a sorted
javax.swing.ListModel containing a set of graphic component sets.
|
| HanoiAccEditor |
This is an editor for editing Hanoi acceptance conditions.
|
| HanoiAccSetCellRenderer |
This class provides a cell renderer for an indexed set of graphic components.
|
| InputSimulatorViewer |
This class provides methods for the visualization of an input simulator.
|
| MullerAccEditor |
This is an editor for Muller acceptance conditions.
|
| OmegaRegularExpressionEditor |
An OmegaRegularExpressionEditor is an editor for ω-regular
expressions.
|
| ParityAccEditor |
This is an editor for parity acceptance conditions.
|
| PropertyDialog |
A PropertyDialog is a dialog that contains a property editor for some
object.
|
| PropertyEditor |
A PropertyEditor is a panel used to edit properties of some object.
|
| QPTLEditor |
A QPTLEditor is an editor for QPTL formulae.
|
| RabinAccEditor |
This is an editor for Rabin acceptance conditions.
|
| ReachabilityAccEditor |
This is an editor for reachability acceptance conditions.
|
| RegularExpressionEditor |
A RegularExpressionEditor is an editor for regular expressions.
|
| RunDagViewer |
This class provides methods to visualize a run dag.
|
| RunTreeViewer |
This class provides methods to visualize a run tree.
|
| ScrollablePanel |
This class provides a panel that is aware of the movement on a Mac trackpad.
|
| SplitTreeViewer |
This class provides methods to visualize a split tree.
|
| StateCellRenderer |
This is a cell render for states.
|
| StateListModel |
A StateListModel is a sorted javax.swing.ListModel containing
a set of states.
|
| StatePropertyEditor |
A StatePropertyEditor editor is a property editor for states.
|
| StateSetListModel |
A StateSetListModel is a sorted javax.swing.ListModel
containing a set of state sets.
|
| StreettAccEditor |
This is an editor for Streett acceptance conditions.
|
| TAccSetCellRender |
A TAccSetCellRender renders an acceptance set on transitions in a
javax.swing.JList.
|
| TAccSetEditor |
A TAccSetEditor is a dialog for editing an acceptance set on
transitions.
|
| TBuchiAccEditor |
This is an editor for transition Büchi acceptance conditions.
|
| TCoBuchiAccEditor |
This is an editor for transition co-Büchi acceptance conditions.
|
| TGeneralizedBuchiAccEditor |
This is an editor for transition generalized Büchi acceptance
conditions.
|
| TMullerAccEditor |
This is an editor for transition Muller acceptance conditions.
|
| TParityAccEditor |
This is an editor for transition parity acceptance conditions.
|
| TRabinAccEditor |
This is an editor for transition Rabin acceptance conditions.
|
| TransitionCellRenderer |
This is a cell render for transitions.
|
| TransitionListModel |
A TransitionListModel is a sorted javax.swing.ListModel
containing a set of transitions.
|
| TransitionPropertyEditor |
A TransitionPropertyEditor editor is a property editor for
transitions.
|
| TransitionSetListModel |
A TransitionSetListModel is a sorted javax.swing.ListModel
containing a set of transition sets.
|
| TStreettAccEditor |
This is an editor for transition Streett acceptance conditions.
|
| TwoWayAltAutomatonCanvas |
This is a canvas for two-way alternating automata.
|
| TwoWayAltAutomatonEditor |
This is an editor for editing a two-way alternating automaton.
|
| TwoWayAltTransitionPropertyEditor |
A TwoWayAltTransitionPropertyEditor editor is a property editor for
two-way alternating transitions.
|
| WordEditor |
This class provides an editor for the input of a word.
|