Package owl.translations
Interface LtlTranslationRepository.LtlTranslation<L extends U,U extends EmersonLeiAcceptance>
-
- All Known Implementing Classes:
LtlTranslationRepository.LtlToDelaTranslation,LtlTranslationRepository.LtlToDpaTranslation,LtlTranslationRepository.LtlToDraTranslation,LtlTranslationRepository.LtlToLdbaTranslation,LtlTranslationRepository.LtlToNbaTranslation
- Enclosing class:
- LtlTranslationRepository
public static interface LtlTranslationRepository.LtlTranslation<L extends U,U extends EmersonLeiAcceptance>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description Class<L>acceptanceClassLowerBound()Class<U>acceptanceClassUpperBound()default booleanacceptanceClassWithinBounds(Class<? extends U> acceptanceClass)default StringciteKey()default Function<LabelledFormula,Automaton<?,? extends U>>translation()default <A extends U>
Function<LabelledFormula,Automaton<?,? extends A>>translation(Class<A> acceptanceClass)default <A extends U>
Function<LabelledFormula,Automaton<?,? extends A>>translation(Class<A> acceptanceClass, Set<LtlTranslationRepository.Option> translationOptions)<A extends U>
Function<LabelledFormula,Automaton<?,? extends A>>translation(Class<A> acceptanceClass, Set<LtlTranslationRepository.Option> translationOptions, OptionalInt lookahead)default Function<LabelledFormula,Automaton<?,? extends U>>translation(Set<LtlTranslationRepository.Option> translationOptions)
-
-
-
Method Detail
-
acceptanceClassWithinBounds
default boolean acceptanceClassWithinBounds(Class<? extends U> acceptanceClass)
-
citeKey
default String citeKey()
-
translation
default Function<LabelledFormula,Automaton<?,? extends U>> translation()
-
translation
default Function<LabelledFormula,Automaton<?,? extends U>> translation(Set<LtlTranslationRepository.Option> translationOptions)
-
translation
default <A extends U> Function<LabelledFormula,Automaton<?,? extends A>> translation(Class<A> acceptanceClass)
-
translation
default <A extends U> Function<LabelledFormula,Automaton<?,? extends A>> translation(Class<A> acceptanceClass, Set<LtlTranslationRepository.Option> translationOptions)
-
translation
<A extends U> Function<LabelledFormula,Automaton<?,? extends A>> translation(Class<A> acceptanceClass, Set<LtlTranslationRepository.Option> translationOptions, OptionalInt lookahead)
-
-