public class FastExactAutomatonMinimizer extends java.lang.Object implements AutomatonMinimizer
Constructor and Description |
---|
FastExactAutomatonMinimizer() |
Modifier and Type | Method and Description |
---|---|
protected void |
addSplit(edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Split split) |
protected void |
addSplits(edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Block block) |
protected TransducerGraph |
buildMinimizedFA() |
protected java.util.Collection |
difference(java.util.Collection block,
java.util.Collection members) |
protected edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Block |
getBlock(java.lang.Object o) |
protected java.util.Collection<TransducerGraph.Arc> |
getInverseArcs(java.lang.Object member) |
protected java.util.Collection<TransducerGraph.Arc> |
getInverseArcs(java.lang.Object member,
java.lang.Object symbol) |
protected java.util.Collection |
getInverseImages(edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Split split) |
protected edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Split |
getSplit() |
protected java.util.Collection |
getSymbols() |
protected TransducerGraph |
getUnminimizedFA() |
protected boolean |
hasSplit() |
static void |
main(java.lang.String[] args) |
protected void |
makeBlock(java.util.Collection members) |
protected void |
makeInitialBlocks() |
protected void |
minimize() |
TransducerGraph |
minimizeFA(TransducerGraph unminimizedFA) |
protected java.lang.Object |
projectNode(java.lang.Object node) |
protected void |
removeAll(java.util.Collection block,
java.util.Collection members) |
protected java.util.Map |
sortIntoBlocks(java.util.Collection nodes) |
protected TransducerGraph getUnminimizedFA()
protected java.util.Collection getSymbols()
public TransducerGraph minimizeFA(TransducerGraph unminimizedFA)
minimizeFA
in interface AutomatonMinimizer
protected TransducerGraph buildMinimizedFA()
protected java.lang.Object projectNode(java.lang.Object node)
protected boolean hasSplit()
protected edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Split getSplit()
protected void addSplit(edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Split split)
protected java.util.Map sortIntoBlocks(java.util.Collection nodes)
protected void makeBlock(java.util.Collection members)
protected void addSplits(edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Block block)
protected void removeAll(java.util.Collection block, java.util.Collection members)
protected java.util.Collection difference(java.util.Collection block, java.util.Collection members)
protected edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Block getBlock(java.lang.Object o)
protected java.util.Collection getInverseImages(edu.stanford.nlp.fsm.FastExactAutomatonMinimizer.Split split)
protected java.util.Collection<TransducerGraph.Arc> getInverseArcs(java.lang.Object member, java.lang.Object symbol)
protected java.util.Collection<TransducerGraph.Arc> getInverseArcs(java.lang.Object member)
protected void makeInitialBlocks()
protected void minimize()
public static void main(java.lang.String[] args)