public final class ParityUtil
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
COMPLEMENT_CLI |
|
static OwlModuleParser.TransformerParser |
CONVERSION_CLI |
Modifier and Type | Method | Description |
---|---|---|
static <S> MutableAutomaton<S,ParityAcceptance> |
complement(MutableAutomaton<S,ParityAcceptance> automaton,
S sinkState) |
|
static <S> Automaton<S,ParityAcceptance> |
convert(Automaton<S,ParityAcceptance> automaton,
ParityAcceptance.Parity toParity) |
|
static <S> MutableAutomaton<S,ParityAcceptance> |
minimizePriorities(MutableAutomaton<S,ParityAcceptance> automaton) |
public static final OwlModuleParser.TransformerParser COMPLEMENT_CLI
public static final OwlModuleParser.TransformerParser CONVERSION_CLI
public static <S> MutableAutomaton<S,ParityAcceptance> complement(MutableAutomaton<S,ParityAcceptance> automaton, S sinkState)
public static <S> MutableAutomaton<S,ParityAcceptance> minimizePriorities(MutableAutomaton<S,ParityAcceptance> automaton)
public static <S> Automaton<S,ParityAcceptance> convert(Automaton<S,ParityAcceptance> automaton, ParityAcceptance.Parity toParity)