Package owl.translations.ltl2dela
-
Class Summary Class Description NormalformDELAConstruction A translation from LTL to deterministic Emerson-Lei automata using the \Delta_2-normalisation procedure.NormalformDELAConstruction.Construction NormalformDELAConstruction.State PropositionalFormulaHelper