Class AnnotatedLDBA<S,​T extends LtlLanguageExpressible,​B extends GeneralizedBuchiAcceptance,​X,​Y>