Package owl.automaton
Class ParityUtil
- java.lang.Object
-
- owl.automaton.ParityUtil
-
public final class ParityUtil extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.Transformer>
COMPLEMENT_MODULE
static OwlModule<OwlModule.Transformer>
CONVERSION_MODULE
-
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_MODULE
public static final OwlModule<OwlModule.Transformer> COMPLEMENT_MODULE
-
CONVERSION_MODULE
public static final OwlModule<OwlModule.Transformer> CONVERSION_MODULE
-
-
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)
-
-