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 class	LtlTranslationRepository.BranchingMode
static class	LtlTranslationRepository.LtlToDelaTranslation
static class	LtlTranslationRepository.LtlToDpaTranslation
static class	LtlTranslationRepository.LtlToDraTranslation
static class	LtlTranslationRepository.LtlToLdbaTranslation
static class	LtlTranslationRepository.LtlToNbaTranslation
static interface	LtlTranslationRepository.LtlTranslation<L extends U,U extends EmersonLeiAcceptance>
static class	LtlTranslationRepository.Option

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)