cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.determinist
Class Determinist<T>

java.lang.Object
  cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.determinist.Determinist<T>

All Implemented Interfaces:

AutomatonSimplifier<T>

public class Determinist<T>
extends Object
implements AutomatonSimplifier<T>

Determinist simplifier, given MergeContitionTester, will merge all states that tester returns as equivalent. It will ask the tester for capability "parameters". When the tester is one from known, it will set parameters to it according to user preference. If it is not known, it is created with factory, so tester have to have some reasonable default parameter setting or own properties panel for user to enter defaults.

Constructor Summary

Determinist()

Method Summary

Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString) Simplify by merging states greedily.
Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString, List<List<T>> inputStrings) Simplify an automaton.
Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString, String elementName) Same as above.
Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString, String elementName, List<List<T>> inputStrings) Simplify an automaton.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Determinist

public Determinist()

Method Detail

simplify

public Automaton<T> simplify(Automaton<T> inputAutomaton,
                             SymbolToString<T> symbolToString)
                      throws InterruptedException

Simplify by merging states greedily. Loops until there are no more states to merge by tester.

Specified by:

simplify in interface AutomatonSimplifier<T>

Parameters:

inputAutomaton - automaton to modify

symbolToString - edge label to string converter

Returns:

new automaton, which accepts more general language and is simple in design

Throws:

InterruptedException

simplify

public Automaton<T> simplify(Automaton<T> inputAutomaton,
                             SymbolToString<T> symbolToString,
                             String elementName)
                      throws InterruptedException

Same as above.

Specified by:

simplify in interface AutomatonSimplifier<T>

Parameters:

inputAutomaton - automaton to modify

symbolToString - edge label to string converter

elementName - name of element (cluster) we process right now, to be presented to user

Returns:

Throws:

InterruptedException

simplify

public Automaton<T> simplify(Automaton<T> inputAutomaton,
                             SymbolToString<T> symbolToString,
                             List<List<T>> inputStrings)
                      throws InterruptedException

Description copied from interface: AutomatonSimplifier

Simplify an automaton.

Specified by:

simplify in interface AutomatonSimplifier<T>

Parameters:

inputAutomaton - automaton to process

symbolToString - converter of symbols (of type T) to string - for rendering automaton to user

Returns:

new automaton, which accepts more general language and is simple in design

Throws:

InterruptedException

simplify

public Automaton<T> simplify(Automaton<T> inputAutomaton,
                             SymbolToString<T> symbolToString,
                             String elementName,
                             List<List<T>> inputStrings)
                      throws InterruptedException

Description copied from interface: AutomatonSimplifier

Simplify an automaton.

Specified by:

simplify in interface AutomatonSimplifier<T>

Parameters:

inputAutomaton - automaton to process

symbolToString - converter of symbols (of type T) to string - for rendering automaton to user

Returns:

new automaton, which accepts more general language and is simple in design

Throws:

InterruptedException