jInfer

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

k,h-context equivalence implementation.

See:
          Description

Class Summary
KHContext<T> k,h-context equivalence criterion implementation.
KHContextFactory Factory for KHContext.
 

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

k,h-context equivalence implementation.


jInfer

Generated on Fri Dec 9 00:01:25 CET 2011