Package owl.translations.ltl2ldba
Class AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y>
- java.lang.Object
-
- owl.translations.ltl2ldba.AnnotatedLDBA<S,T,B,X,Y>
-
public final class AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y> extends Object
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Bacceptance()Automaton<T,B>acceptingComponent()Xannotation()MutableAutomaton<Either<S,T>,B>copyAsMutable()ValuationSetFactoryfactory()Automaton<S,NoneAcceptance>initialComponent()YstateAnnotation()
-
-
-
Method Detail
-
acceptance
public B acceptance()
-
annotation
public X annotation()
-
copyAsMutable
public MutableAutomaton<Either<S,T>,B> copyAsMutable()
-
factory
public ValuationSetFactory factory()
-
initialComponent
public Automaton<S,NoneAcceptance> initialComponent()
-
stateAnnotation
public Y stateAnnotation()
-
-