Package owl.translations.dra2dpa
Class IARBuilder<R>
- java.lang.Object
-
- owl.translations.dra2dpa.IARBuilder<R>
-
public final class IARBuilder<R> extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.TransformerParser
CLI
-
Constructor Summary
Constructors Constructor Description IARBuilder(Automaton<R,RabinAcceptance> rabinAutomaton)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Automaton<IARState<R>,ParityAcceptance>
build()
static void
main(String... args)
-
-
-
Field Detail
-
CLI
public static final OwlModuleParser.TransformerParser CLI
-
-
Constructor Detail
-
IARBuilder
public IARBuilder(Automaton<R,RabinAcceptance> rabinAutomaton)
-
-
Method Detail
-
main
public static void main(String... args)
-
build
public Automaton<IARState<R>,ParityAcceptance> build()
-
-