Package owl.translations.dpa2safety

## Class DPA2Safety<S>

- java.lang.Object
- - owl.translations.dpa2safety.DPA2Safety<S>

- All Implemented Interfaces:
    `BiFunction<Automaton<S,ParityAcceptance>,Integer,Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance>>`

      public class DPA2Safety<S>
      extends Object
      implements BiFunction<Automaton<S,ParityAcceptance>,Integer,Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance>>

- - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `DPA2Safety()` |

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance>` | `apply​(Automaton<S,ParityAcceptance> automaton, Integer bound)` |

    - ### Methods inherited from interface java.util.function.BiFunction

      `andThen`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### DPA2Safety

          public DPA2Safety()

  - ### Method Detail

    - #### apply

          public Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance> apply​(Automaton<S,ParityAcceptance> automaton,
                                                                                                  Integer bound)

      Specified by:
        `apply` in interface `BiFunction<Automaton<S,ParityAcceptance>,Integer,Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance>>`