cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.userinteractive
Class UserInteractive<T>

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

All Implemented Interfaces:

AutomatonSimplifier<T>

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

Renders automaton to user and merges returned list of states user had selected. And cycle goes on. If user select no states, it is considered that user is satisfied with automaton, so automaton is returned in current form.

Constructor Summary

UserInteractive()

Method Summary

Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString) Simplify an automaton.
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) Simplify an automaton.
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

UserInteractive

public UserInteractive()

Method Detail

simplify

public Automaton<T> simplify(Automaton<T> inputAutomaton,
                             SymbolToString<T> symbolToString)
                      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)
                      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,
                             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