Class AnnotatedLDBA<S,​T extends LtlLanguageExpressible,​B extends GeneralizedBuchiAcceptance,​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.