| AbstractTranslator<L extends Logic,A extends Automaton> |
This class provides a default implementation of Translator.
|
| QPTL2NBWByLTL2NBW |
This is a translator from a QPTL formula that can be converted to prenex
normal form to an NBW by utilizing a LTL translator.
|
| QPTL2NGBWByLTL2NGBW |
This is a translator from a QPTL formula that can be converted to prenex
normal form and has no universal quantification to an NGBW by utilizing a LTL
translator.
|
| TranslateByDivideAndConquer |
This is a translator from a LTL formula to an equivalent NBW base on the
divide-and-conquer approach by utilizing another LTL translator.
|
| TranslateToNBWByNGBW<T extends Logic> |
This is a translator from a logic formula to an equivalent NBW by utilizing
another translator from formulae of that logic to equivalent NGBW.
|
| TranslateToNGBWByLOSNGBW<T extends Logic> |
This is a translator from a logic formula to an equivalent NGBW by utilizing
another translator from formulae of that logic to equivalent label-on-state
NGBW.
|
| TranslationAlgorithm.ListCellRender |
This class is used to render the enumeration of translation algorithms.
|
| TranslationConstants |
This class provides some common translation options.
|