Class AsymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance>