Uses of Package
cz.cuni.mff.ksi.jinfer.base.automaton

Packages that use cz.cuni.mff.ksi.jinfer.base.automaton

cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer	This package contains base class for visualization (Visualizer) of Automaton and its extensions.
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.graphmouseplugins	This package contains graph mouse plugins for Visualizer.
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts	This package contains layouts for Visualizer.
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz	This package provides implementation of Layout using external Graphviz dot executable.
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers	This package contains various transformations (mostly 'to string') Transformer used by AutoEditor.
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska	This package contains Layout created by Julie Vyhnanovska.
cz.cuni.mff.ksi.jinfer.autoeditor.gui.component	This package contains base class representing panel (AbstractComponent) for AutoEditor and its extensions.
cz.cuni.mff.ksi.jinfer.base.automaton	This package contains data structures and interfaces for Finite State Automata.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting	Interface for state-equivalence testing classes.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.combined	Enabled combining of more than one real tester.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic	finds non-determinism states
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.khcontext	k,h-context equivalence implementation.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings	sk-strings equivalence implementation.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.testernull	return no alternatives
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.evaluating.automatonNaive
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.evaluating.automatonNaiveAlphabet
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.evaluating.automatonNaiveDefective
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.ordered.ordering	Interface of ordering submodule for StateRemoval.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.fullscan
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.userinteractive	Automaton is drawn to user.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.weighted	Simple heuristic for ordering states in automaton.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying	AutomatonSimplifier module is responsible of generalization of automaton.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.chained
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl.suspection
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl.suspection.onebyone
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl.suspection.stepsuspect
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.minimize
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.determinist
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.greedy	Uses one MergeConditionTester that user selected in preferences.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.greedymdl	Uses one MergeConditionTester that user selected in preferences.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.heuristicmdl	Uses one MergeConditionTester that user selected in preferences.
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.khgrams	Package implementing automaton simplifying to form k,h-context automaton, but in linear time (in means of length of input rules).
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.simplifiernull
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.userinteractive	Renders automaton to user and merges states, which user selected to be merged.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.graphmouseplugins

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.autoeditor.gui.component

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.base.automaton

Automaton
Class representing deterministic finite automaton.

AutomatonClonerSymbolConverter
Interface for AutomatonCloner Has to implement only one method - convertSymbol, in which it has to return symbol of type B, for each possible symbol of type A.

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.combined

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.khcontext

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.testernull

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.evaluating.automatonNaive

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.evaluating.automatonNaiveAlphabet

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.evaluating.automatonNaiveDefective

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval

Automaton
Class representing deterministic finite automaton.

State
Class representing state in deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.fullscan

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.userinteractive

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.weighted

State
Class representing state in deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.chained

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective

Automaton
Class representing deterministic finite automaton.

Step
Class representing step sin finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl.suspection

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl.suspection.onebyone

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl.suspection.stepsuspect

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.minimize

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.determinist

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.greedy

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.greedymdl

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.heuristicmdl

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.khgrams

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.simplifiernull

Automaton
Class representing deterministic finite automaton.

Classes in cz.cuni.mff.ksi.jinfer.base.automaton used by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.userinteractive

Automaton
Class representing deterministic finite automaton.