Package owl.translations.ltl2ldba
-
Class Summary Class Description AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y> Translation-specific internal representation of LDBAs.AsymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance> AsymmetricProductState SymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance> SymmetricProductState