Package cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.userinteractive

Renders automaton to user and merges states, which user selected to be merged.

See:
Description

Class Summary

UserInteractive<T>	Renders automaton to user and merges returned list of states user had selected.
UserInteractiveFactory	Factory for UserInteractive.

Package cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.userinteractive Description

Renders automaton to user and merges states, which user selected to be merged.