Package owl.automaton.transformations
Class ParityUtil
- java.lang.Object
-
- owl.automaton.transformations.ParityUtil
-
public final class ParityUtil extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.TransformerParser
COMPLEMENT_CLI
static OwlModuleParser.TransformerParser
CONVERSION_CLI
-
Method Summary
All Methods Static Methods Concrete Methods 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, S sink)
-
-
-
Field Detail
-
COMPLEMENT_CLI
public static final OwlModuleParser.TransformerParser COMPLEMENT_CLI
-
CONVERSION_CLI
public static final OwlModuleParser.TransformerParser CONVERSION_CLI
-
-
Method Detail
-
complement
public static <S> MutableAutomaton<S,ParityAcceptance> complement(MutableAutomaton<S,ParityAcceptance> automaton, S sinkState)
-
convert
public static <S> Automaton<S,ParityAcceptance> convert(Automaton<S,ParityAcceptance> automaton, ParityAcceptance.Parity toParity, S sink)
-
-