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 class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface java.util.function.BiFunction
andThen
-
-
-
-
Method Detail
-
apply
public Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance> apply(Automaton<S,ParityAcceptance> automaton, Integer bound)
- Specified by:
apply
in interfaceBiFunction<Automaton<S,ParityAcceptance>,Integer,Automaton<owl.translations.dpa2safety.DPA2Safety.Counter<S>,AllAcceptance>>
-
-