Uses of Class
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.RegexpAutomaton

Packages that use RegexpAutomaton

cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping	Submodule for converting automaton to RegexpAutomaton and then obtaining Regexp from it.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval	Implementation of state removal algorithm for converting automaton into regular expression.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.heuristic
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered

Uses of RegexpAutomaton in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping with parameters of type RegexpAutomaton

Regexp<T>

RegexpAutomatonSimplifier.simplify(RegexpAutomaton<T> inputAutomaton, SymbolToString<Regexp<T>> symbolToString) Convert input RegexpAutomaton to Regexp which represents same language.

Constructors in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping with parameters of type RegexpAutomaton

RegexpAutomaton(RegexpAutomaton<T> anotherAutomaton)
Cloning constructor.

Uses of RegexpAutomaton in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval

Subclasses of RegexpAutomaton in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval

class

StateRemovalRegexpAutomaton<T> Extending automaton to support operations for method of state removal conversion of automaton into regular expression.

Constructors in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval with parameters of type RegexpAutomaton

StateRemovalRegexpAutomaton(RegexpAutomaton<T> anotherAutomaton)
Given RegexpAutomaton, creates state removal automaton with superFinal and superInitial state.

Uses of RegexpAutomaton in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.heuristic

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.heuristic with parameters of type RegexpAutomaton

Regexp<T>

StateRemovalHeuristic.simplify(RegexpAutomaton<T> inputAutomaton, SymbolToString<Regexp<T>> symbolToString)

Uses of RegexpAutomaton in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered with parameters of type RegexpAutomaton

Regexp<T>

StateRemovalOrdered.simplify(RegexpAutomaton<T> inputAutomaton, SymbolToString<Regexp<T>> symbolToString)