public final class IARBuilder<R>
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
CLI |
Constructor | Description |
---|---|
IARBuilder(Automaton<R,RabinAcceptance> rabinAutomaton) |
Modifier and Type | Method | Description |
---|---|---|
Automaton<IARState<R>,ParityAcceptance> |
build() |
|
static void |
main(java.lang.String... args) |
public static final OwlModuleParser.TransformerParser CLI
public IARBuilder(Automaton<R,RabinAcceptance> rabinAutomaton)
public static void main(java.lang.String... args)
public Automaton<IARState<R>,ParityAcceptance> build() throws java.util.concurrent.ExecutionException
java.util.concurrent.ExecutionException