Package cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic

finds non-determinism states

See:
Description

Class Summary

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

Package cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic Description

finds non-determinism states