jInfer

Package cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.simplifiernull

Class Summary
SimplifierNull<T> SimplifierNull simplifier, given MergeContitionTester, will merge all states that tester returns as equivalent.
SimplifierNullFactory Factory for SimplifierNull.
 


jInfer

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