| AperiodicOptionsPanel |
This is a panel for adjusting the options of the aperiodicity testing algorithm.
|
| AutomatonOptionsPanel |
This is a panel for adjusting options about automata display.
|
| BuchiStoreOptionsPanel |
This is a panel for adjusting the options of the Büchi Store browser.
|
| CircleLayoutOptionsPanel |
This is a panel for adjusting the options of the circle layout algorithm.
|
| ComplementOptionsPanel |
This is a panel for adjusting the options of complementation.
|
| ConversionOptionsPanel |
This is a panel for adjusting the options of several automata conversions.
|
| CouvreurOptionsPanel |
This is a panel for adjusting the options of the Couvreur's translation
algorithm.
|
| CustomConversionDialog |
This class provides a dialog for the configuration of conversions from an
automaton type to other automaton types.
|
| DotCodecOptionsPanel |
This is a panel for adjusting the options of the Dot codec.
|
| ExtendedCouvreurOptionsPanel |
This is a panel for adjusting the options of the extended Couvreur's
translation algorithm.
|
| ExtendedGPVWOptionsPanel |
This is a panel for adjusting the options of the extended GPVW translation
algorithm.
|
| ExtendedGPVWPlusOptionsPanel |
This is a panel for adjusting the options of the extended GPVW+ translation
algorithm.
|
| ExtendedLTL2AUTOptionsPanel |
This is a panel for adjusting the options of the extended LTL2AUT translation
algorithm.
|
| ExtendedLTL2AUTPlusOptionsPanel |
This is a panel for adjusting the options of the extended LTL2AUT+
translation algorithm.
|
| ExtendedLTL2BuchiOptionsPanel |
This is a panel for adjusting the options of extended LTL2Buchi.
|
| ExtendedModellaOptionsPanel |
This is a panel for adjusting the options of the extended MoDeLLa translation
algorithm.
|
| FontDialog |
A FontDialog is a dialog for font selection.
|
| FontUpdater |
The FontUpdater is aware of the change of system font and drawing
font.
|
| ForceScanAlgorithmOptionsPanel |
This is a panel for adjusting the options of the force-scan algorithm.
|
| ForceTransferAlgorithmOptionsPanel |
This is a panel for adjusting the options of the force-transfer algorithm.
|
| FormulaSimplificationOptionsPanel |
This is a panel for adjusting the options of formula simplification.
|
| FRLayoutOptionsPanel |
This is a panel for adjusting the options of the FR layout algorithm.
|
| Game2NMGOptionsPanel |
This is a panel for adjusting the conversions from games to NMG.
|
| GameConversionDialog |
This class provides a dialog for the configuration of conversions from a game
type to other game types.
|
| GameConversionOptionsPanel |
This is a panel for adjusting the options of several game conversions.
|
| GameSolverOptionsPanel |
This class provides a panel for adjusting options of game solvers.
|
| GasTeXCodecOptionsPanel |
This is a panel for adjusting the options of the GasTeX codec.
|
| GeneralOptionsPanel |
This is a panel for adjusting general options.
|
| GlobalOptimizationSolverOptionsPanel |
This class provides a panel for adjusting options of the global optimization
solver.
|
| HierarchyComplementOptionsPanel |
This class provides a panel to adjust the options of the hierarchical
construction HierarchyConstruction. |
| ImprovedForceScanAlgorithmOptionsPanel |
This is a panel for adjusting the options of the improved force-scan
algorithm.
|
| IncrementalTableauOptionsPanel |
This is a panel for adjusting the options of the Incremental Tableau
translation algorithm.
|
| ISOMLayoutOptionsPanel |
This is a panel for adjusting the options of the ISOM layout algorithm.
|
| KKLayoutOptionsPanel |
This is a panel for adjusting the options of the KK layout algorithm.
|
| KP02OptionsPanel |
This is a panel for adjusting the options of the KP02 translation algorithm.
|
| LayoutOptionsPanel |
This is a panel for adjusting general layout options.
|
| LTL2BAOptionsPanel |
This is a panel for adjusting the options of the LTL2BA translation
algorithm.
|
| LTL2BuchiOptionsPanel |
This is a panel for adjusting the options of LTL2Buchi.
|
| ModellaOptionsPanel |
This is a panel for adjusting the options of the MoDeLLa translation
algorithm.
|
| ModifiedSafraContainmentOptionsPanel |
This is a panel for adjusting the options of the on-the-fly containment
testing with the modified Safra's construction.
|
| ModifiedSafraOptionsPanel |
This is a panel for adjusting the options of the modified Safra's
construction.
|
| MSContainmentOptionsPanel |
This is a panel for adjusting the options of the on-the-fly containment
testing with the Muller-Schupp construction.
|
| OmegaRegularExpressionOptionsPanel |
This is a panel for adjusting the options of editing and parsing ω-regular
expressions.
|
| OptionsDialog<T extends Properties> |
This is a dialog containing a component for adjusting options.
|
| OptionsPanel<T extends Properties> |
An OptionsPanel is a panel for adjusting some user preference.
|
| OptionsPanelRepository |
This class is a repository of option panels.
|
| ORETranslationOptionsPanel |
This is a panel for adjusting the options of the naive translation of
ω-regular expressions.
|
| PitermanContainmentOptionsPanel |
This is a panel for adjusting the options of the on-the-fly containment
testing with the Safra-Piterman construction.
|
| PitermanOptionsPanel |
This is a panel for adjusting the options of the Safra-Piterman construction.
|
| PLTL2BAOptionsPanel |
This is a panel for adjusting the options of the PLTL2BA translation
algorithm.
|
| Preference |
This class contains several options for the GUI package.
|
| PreferenceDialog |
A PreferenceDialog is a dialog for customizing the user preference.
|
| ProductOptionsPanel |
This class provides a panel for the adjustment of the options in taking a
product of two automata.
|
| ProgressMeasureComplementOptionsPanel |
This class provides a panel to adjust the options of the progress measure
construction.
|
| PruningFairSetsOptionsPanel |
This is a panel for adjusting the options of pruning fair sets.
|
| QPTL2BAOptionsPanel |
This is a panel for adjusting the options of the QPTL2BA translation
algorithm.
|
| QPTLOptionsPanel |
This is a panel for adjusting the options of QPTL formulae.
|
| RamseyOptionsPanel |
This is a panel for adjusting the options of the Ramsey-based construction.
|
| RandomAutomatonOptionsPanel |
This class provides an options panel for generating random FSA and games.
|
| RandomFSAOptionsPanel |
This class provides an options panel for the generation of random FSA.
|
| RandomGameOptionsPanel |
This class provides an options panel for the generation of random games.
|
| RandomGeneratorDialog |
This is a dialog for configuring random generators and generating random
objects based on the configuration.
|
| RandomHierarchicalAutomatonOptionsPanel |
This class provides an options panel for generating random automata in a
two-layer hierarchical form.
|
| RandomQPTLFormulaOptionsPanel |
This is a panel for configuring a random QPTL formula generator.
|
| RandomSDBWOptionsPanel |
This class provides an options panel for generating random semi-deterministic
Büchi automata (SDBW).
|
| RankComplementOptionsPanel |
This class provides a panel to adjust the options of the rank-based
construction.
|
| ReachabilitySolverOptionsPanel |
This is a panel for adjusting the options of the reachability solver.
|
| RegularExpressionOptionsPanel |
This is a panel for adjusting the options of editing and parsing regular
expressions.
|
| RETranslationOptionsPanel |
This is a panel for adjusting the options of the naive translation of regular
expressions.
|
| SafraContainmentOptionsPanel |
This is a panel for adjusting the options of the on-the-fly containment
testing with the Safra's construction.
|
| SafraOptionsPanel |
This is a panel for adjusting the options of the Safra's construction.
|
| SALayoutOptionsPanel |
This is a panel for adjusting the options of the SA layout algorithm.
|
| ScheweOptionsPanel |
This is a panel for adjusting the options of the Safra-Schewe construction.
|
| SDBWConstructionOptionsPanel |
This is a panel for adjusting the options of the SDBW construction.
|
| SemanticDeterminismOptionsPanel |
This is a panel for adjusting the options of testing semantically
deterministic.
|
| SimulationOptimizerOptionsPanel |
This is a panel for adjusting the options of simplification by simulation.
|
| SimulationOptionsPanel |
This is a panel for adjusting simulations.
|
| SliceComplementOptionsPanel |
This is a panel for adjusting the options of the slice-based construction.
|
| SliceContainmentOptionsPanel |
This is a panel for adjusting the options of the on-the-fly containment
testing with the Safra-Piterman construction.
|
| StepByStepGameSolverOptionsPanel |
This class provides a panel for adjusting options of game solvers that can be
performed step-by-step.
|
| TableauOptionsPanel |
This is a panel for adjusting the options of the Tableau translation
algorithm.
|
| TemporalHierarchyClassificationOptionsPanel |
This is a panel for adjusting the options of the on-the-fly containment
testing with the Muller-Schupp construction.
|
| TemporalTesterOptionsPanel |
This is a panel for adjusting the options of the Temporal Tester translation
algorithm.
|
| TikzCodecOptionsPanel |
This is a panel for adjusting the options of the Tikz codec.
|
| TranslationOptionsPanel |
|
| TreeLayoutOptionsPanel |
This is a panel for adjusting the options of the tree layout algorithm.
|
| VaucansonCodecOptionsPanel |
This is a panel for adjusting the options of the Vaucanson codec.
|