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

Packages that use MergeConditionTester

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

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

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting that return MergeConditionTester

<T> MergeConditionTester<T>

MergeConditionTesterFactory.create() Create MergeConditionTester

Uses of MergeConditionTester in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.combined

Classes in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.combined that implement MergeConditionTester

class

Combined<T> TODO anti Comment!

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.combined that return MergeConditionTester

<T> MergeConditionTester<T>

CombinedFactory.create()

Uses of MergeConditionTester in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic

Classes in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic that implement MergeConditionTester

class

Deterministic<T> k,h-context equivalence criterion implementation.

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic that return MergeConditionTester

<T> MergeConditionTester<T>

DeterministicFactory.create()

Uses of MergeConditionTester in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.khcontext

Classes in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.khcontext that implement MergeConditionTester

class

KHContext<T> k,h-context equivalence criterion implementation.

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.khcontext that return MergeConditionTester

<T> MergeConditionTester<T>

KHContextFactory.create()

Uses of MergeConditionTester in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings

Classes in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings that implement MergeConditionTester

class

SKStrings<T> k,h-context equivalence criterion implementation.

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings that return MergeConditionTester

<T> MergeConditionTester<T>

SKStringsFactory.create()

Uses of MergeConditionTester in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.testernull

Classes in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.testernull that implement MergeConditionTester

class

TesterNull<T> k,h-context equivalence criterion implementation.

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.testernull that return MergeConditionTester

<T> MergeConditionTester<T>

TesterNullFactory.create()