Uses of Package
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting

Packages that use cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting

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.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.

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

MergeConditionTester
Interface for implementing various state equivalence criterion tester.

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

MergeConditionTester
Interface for implementing various state equivalence criterion tester.

MergeConditionTesterFactory
Factory interface for MergeConditionTester.

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

MergeConditionTester
Interface for implementing various state equivalence criterion tester.

MergeConditionTesterFactory
Factory interface for MergeConditionTester.

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

MergeConditionTester
Interface for implementing various state equivalence criterion tester.

MergeConditionTesterFactory
Factory interface for MergeConditionTester.

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

MergeConditionTester
Interface for implementing various state equivalence criterion tester.

MergeConditionTesterFactory
Factory interface for MergeConditionTester.

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

MergeConditionTester
Interface for implementing various state equivalence criterion tester.

MergeConditionTesterFactory
Factory interface for MergeConditionTester.

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

MergeConditionTesterFactory
Factory interface for MergeConditionTester.

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

MergeConditionTesterFactory
Factory interface for MergeConditionTester.

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

MergeConditionTesterFactory
Factory interface for MergeConditionTester.