Presents automaton to user and lets him select state to be remove first.
UserInteractive() -
Constructor for class cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.userinteractive.UserInteractive
UserInteractiveFactory() -
Constructor for class cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.userinteractive.UserInteractiveFactory