java.util.function.BiFunction<Automaton<S,ParityAcceptance>,java.lang.Integer,Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance>>
public class DPA2Safety<S> extends java.lang.Object implements java.util.function.BiFunction<Automaton<S,ParityAcceptance>,java.lang.Integer,Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance>>
Constructor | Description |
---|---|
DPA2Safety() |
Modifier and Type | Method | Description |
---|---|---|
Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance> |
apply(Automaton<S,ParityAcceptance> automaton,
java.lang.Integer bound) |
public Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance> apply(Automaton<S,ParityAcceptance> automaton, java.lang.Integer bound)
apply
in interface java.util.function.BiFunction<Automaton<S,ParityAcceptance>,java.lang.Integer,Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance>>