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>
-
- Type Parameters:
S- initial component statesT- accepting component statesB- acceptance conditionX- internal annotationY- internal annotation
public final class AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y> extends Object
Translation-specific internal representation of LDBAs. Due to visibility constraints implementation-private methods are public. However, there are not intended to be used outside of the ltl2dpa and ltl2dra packages. The only allowed method for external code is thecopyAsMutable()method.
-
-
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()BddSetFactoryfactory()Automaton<S,AllAcceptance>initialComponent()YstateAnnotation()
-
-
-
Method Detail
-
acceptance
public B acceptance()
-
annotation
public X annotation()
-
copyAsMutable
public MutableAutomaton<Either<S,T>,B> copyAsMutable()
-
factory
public BddSetFactory factory()
-
initialComponent
public Automaton<S,AllAcceptance> initialComponent()
-
stateAnnotation
public Y stateAnnotation()
-
-