public final class GeneralizedRabinMinimizations
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <S> void |
minimizeComplementaryInf(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton) |
Delete all Inf sets which are the complement of their corresponding Fin set.
|
static <S> void |
minimizeEdgeImplications(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton) |
Remove all Inf edges which are implied by another Inf index of the same pair.
|
static <S> void |
minimizeGloballyIrrelevant(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton) |
Remove pairs which cannot accept globally (e.g.
|
static <S> void |
minimizeMergePairs(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton) |
Merge independent pairs.
|
static <S> void |
minimizeOverlap(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton) |
Remove edges in a Fin set from all corresponding Inf sets.
|
static <S> void |
minimizePairImplications(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton) |
Delete all pairs which only accept if another pair accepts.
|
static <S> void |
minimizeSccIrrelevant(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton) |
Remove all indices from edges of an SCC which can't accept (e.g.
|
static <S> void |
minimizeTrivial(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton) |
Identify Fin-only pairs and SCCs which trivially accept with them.
|
public static <S> void minimizeComplementaryInf(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton)
public static <S> void minimizeEdgeImplications(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton)
public static <S> void minimizeGloballyIrrelevant(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton)
public static <S> void minimizeMergePairs(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton)
public static <S> void minimizeOverlap(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton)
public static <S> void minimizePairImplications(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton)
public static <S> void minimizeSccIrrelevant(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton)
public static <S> void minimizeTrivial(MutableAutomaton<S,GeneralizedRabinAcceptance> automaton)