cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering
Interface Orderer<T>

All Known Implementing Classes:

Fullscan, UserInteractive, Weighted

public interface Orderer<T>

Interface for determining which state to remove from StateRemovalRegexpAutomaton to obtain shorter regexp. Given StateRemovalRegexpAutomaton automaton, it has to explore structure and decide, which state would be best to remove first.

Method Summary

State<Regexp<T>>

getStateToRemove(StateRemovalRegexpAutomaton<T> automaton, SymbolToString<Regexp<T>> symbolToString) Get the best state to remove first from automaton.

Method Detail

getStateToRemove

State<Regexp<T>> getStateToRemove(StateRemovalRegexpAutomaton<T> automaton,
                                  SymbolToString<Regexp<T>> symbolToString)
                                  throws InterruptedException

Get the best state to remove first from automaton.

Parameters:

automaton - automaton to examine

symbolToString - converter of symbol T to string for presenting automaton to user.

Returns:

reference to state, which should be removed first

Throws:

InterruptedException