| AbstractAlphabetEdit |
This class provides an undoable edit for the alphabet abstraction of an
automaton.
|
| AbstractAutomatonEdit |
This class provides an undoable edit for changing an automaton.
|
| AbstractSetAccEdit |
This class provides an undoable edit for setting the acceptance condition of
an automaton.
|
| AlphabetConversionEdit |
This class provides an undoable edit for the conversion of alphabet types.
|
| ContractAlphabetEdit |
This class provides an undoable edit for the contraction of an alphabet.
|
| CreateAccSetEdit |
This class provides an undoable edit for the creation of an acceptance set
(or pair).
|
| CreateStateEdit |
This class provides an undoable edit for the creation of a state.
|
| CreateTransitionEdit |
This class provides an undoable edit for the creation of a transition.
|
| CutStatesEdit |
This class provides an undoable edit for cutting states.
|
| DeleteGraphicComponentEdit |
This class provides an undoable edit for the deletion of states or
transitions.
|
| EliminateEpsilonEdit |
This class provides an undoable edit for ε-transition elimination.
|
| ExpandAlphabetEdit |
This class provides an undoable edit for the expansion of an alphabet.
|
| FormulaEdit |
This class provides an undoable edit for formula editing.
|
| LayoutEdit |
This class provides an undoable edit for laying out an automaton.
|
| MergeEdit |
This class provides an undoable edit for automata merge.
|
| MergeStatesEdit |
This class provides an undoable edit for merging states.
|
| MoveAccSetEdit |
This class provides an undoable edit for the movement of an acceptance set
(or pair) in an acceptance condition.
|
| MoveGraphicComponentsEdit |
This class provides an undoable edit for the movement of states or
transitions.
|
| ParityCompressionEdit |
This class provides an undoable edit for the compression of parity
conditions.
|
| ParityInterpretationEdit |
This class provides an undoable edit for the change of parity condition
interpretation.
|
| ParityPropagationEdit |
This class provides an undoable edit for the propagation of parity
conditions.
|
| PasteAutomatonEdit |
This class provides an undoable edit for pasting an automaton.
|
| ReduceAltConnectorsEdit |
This class provides an undoable edit for reducing unnecessary alternating
connectors from an alternating automaton.
|
| ReduceStatesEdit |
This class provides an undoable edit for reducing unreachable states and dead
states from an automaton.
|
| RemoveAccSetEdit |
This class provides an undoable edit for the removal of an acceptance set (or
pair) in an acceptance condition.
|
| RenamePropositionEdit |
This class provides an undoable edit for renaming an atomic proposition (or
classical symbol).
|
| ReorderEdit |
This class provides an undoable edit for reordering states of an automaton.
|
| ResetColorEdit |
This class provides an undoable edit for reseting the color of states and
transitions.
|
| ResetOpacityEdit |
This class provides an undoable edit for reseting the opacity of states and
transitions.
|
| ResetTextColorEdit |
This class provides an undoable edit for reseting the text color of states
and transitions.
|
| SetColorEdit |
This class provides an undoable edit for changing the color of states and
transitions.
|
| SetOpacityEdit |
This class provides an undoable edit for changing the opacity of states and
transitions.
|
| SetPropertyEdit |
This class provides an undoable edit for changing a property of an editable
object.
|
| SetTextColorEdit |
This class provides an undoable edit for changing the text color of states
and transitions.
|
| ToggleAccSetEdit<T extends GraphicComponent> |
This class provides an undoable edit for toggling a state in/out an
acceptance set.
|
| ToggleFinalStateEdit |
This class provides an undoable edit for toggling a state in/out final states
of an two-way alternating automaton.
|
| ToggleInitialStateEdit |
This class provides an undoable edit for toggling a state in/out initial
states.
|