Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
jInfer
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

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

Interface for state-equivalence testing classes.

See:
          Description

Interface Summary
MergeConditionTester<T> Interface for implementing various state equivalence criterion tester.
MergeConditionTesterFactory Factory interface for MergeConditionTester.
 

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

Interface for state-equivalence testing classes.

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
jInfer
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    
Generated on Fri Dec 9 00:01:25 CET 2011