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 B
acceptance()
Automaton<T,B>
acceptingComponent()
X
annotation()
MutableAutomaton<Either<S,T>,B>
copyAsMutable()
ValuationSetFactory
factory()
Automaton<S,NoneAcceptance>
initialComponent()
Y
stateAnnotation()
-
-
-
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()
-
-