Package owl.translations.nba2dpa
Class NBA2DPA
- java.lang.Object
-
- owl.translations.nba2dpa.NBA2DPA
-
- All Implemented Interfaces:
Function<Automaton<?,?>,Automaton<?,ParityAcceptance>>
public final class NBA2DPA extends Object implements Function<Automaton<?,?>,Automaton<?,ParityAcceptance>>
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.Transformer>
MODULE
-
Constructor Summary
Constructors Constructor Description NBA2DPA()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Automaton<?,ParityAcceptance>
apply(Automaton<?,?> nba)
static void
main(String... args)
-
-
-
Field Detail
-
MODULE
public static final OwlModule<OwlModule.Transformer> MODULE
-
-
Method Detail
-
main
public static void main(String... args) throws IOException
- Throws:
IOException
-
apply
public Automaton<?,ParityAcceptance> apply(Automaton<?,?> nba)
- Specified by:
apply
in interfaceFunction<Automaton<?,?>,Automaton<?,ParityAcceptance>>
-
-