Package owl.translations
Class LtlTranslationRepository
- java.lang.Object
-
- owl.translations.LtlTranslationRepository
-
public final class LtlTranslationRepository extends Object
Central repository of all implemented LTL translations.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classLtlTranslationRepository.BranchingModestatic classLtlTranslationRepository.LtlToDelaTranslationstatic classLtlTranslationRepository.LtlToDpaTranslationstatic classLtlTranslationRepository.LtlToDraTranslationstatic classLtlTranslationRepository.LtlToLdbaTranslationstatic classLtlTranslationRepository.LtlToNbaTranslationstatic interfaceLtlTranslationRepository.LtlTranslation<L extends U,U extends EmersonLeiAcceptance>static classLtlTranslationRepository.Option
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <A extends EmersonLeiAcceptance>
Function<LabelledFormula,Automaton<?,? extends A>>defaultTranslation(Set<LtlTranslationRepository.Option> translationOptions, LtlTranslationRepository.BranchingMode branchingMode, Class<? extends A> acceptance)static <A extends EmersonLeiAcceptance>
Function<LabelledFormula,Automaton<?,? extends A>>defaultTranslation(LtlTranslationRepository.BranchingMode branchingMode, Class<? extends A> acceptance)static <A extends EmersonLeiAcceptance>
Function<LabelledFormula,Automaton<?,? extends A>>smallestAutomaton(LtlTranslationRepository.BranchingMode branchingMode, Class<? extends A> acceptance)
-
-
-
Method Detail
-
defaultTranslation
public static <A extends EmersonLeiAcceptance> Function<LabelledFormula,Automaton<?,? extends A>> defaultTranslation(LtlTranslationRepository.BranchingMode branchingMode, Class<? extends A> acceptance)
-
defaultTranslation
public static <A extends EmersonLeiAcceptance> Function<LabelledFormula,Automaton<?,? extends A>> defaultTranslation(Set<LtlTranslationRepository.Option> translationOptions, LtlTranslationRepository.BranchingMode branchingMode, Class<? extends A> acceptance)
-
smallestAutomaton
public static <A extends EmersonLeiAcceptance> Function<LabelledFormula,Automaton<?,? extends A>> smallestAutomaton(LtlTranslationRepository.BranchingMode branchingMode, Class<? extends A> acceptance)
-
-