jInfer

Package cz.cuni.mff.ksi.jinfer.twostep

Main package of TwoStepSimplifier implementation.

See:
          Description

Class Summary
TwoStepPseudoExporter Exporter to DTD-like format but without employing any DTD restrictions.
TwoStepSimplifier TwoStepSimplifier works in two step for simplification.
TwoStepSimplifierFactory TwoStepSimplifier is modular, extensible implementation.
 

Package cz.cuni.mff.ksi.jinfer.twostep Description

Main package of TwoStepSimplifier implementation.


jInfer

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