AnnotatedLDBA (owl 21.0 API)

java.lang.Object
- owl.translations.ltl2ldba.AnnotatedLDBA<S,T,B,X,Y>

Type Parameters:

S - initial component states

T - accepting component states

B - acceptance condition

X - internal annotation

Y - 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 the copyAsMutable() method.

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()`
`BddSetFactory`	`factory()`
`Automaton<S,AllAcceptance>`	`initialComponent()`
`Y`	`stateAnnotation()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

acceptance
```
public B acceptance()
```

acceptingComponent

public Automaton<T,B> acceptingComponent()

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()
```