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

Modifier and Type	Method	Description
Class<L>	acceptanceClassLowerBound()
Class<U>	acceptanceClassUpperBound()
default boolean	acceptanceClassWithinBounds(Class<? extends U> acceptanceClass)
default String	citeKey()
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

acceptanceClassLowerBound

Class<L> acceptanceClassLowerBound()

acceptanceClassUpperBound

Class<U> acceptanceClassUpperBound()

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)