org.qedeq.kernel.bo.logic
Loading...
Class Coverage    
FormulaCheckerFactoryImpl FormulaCheckerFactoryImpl 1.0 (100%)
ProofCheckerFactoryImpl ProofCheckerFactoryImpl 0.6451613 (64.5%)
ProofFinderFactoryImpl ProofFinderFactoryImpl 1.0 (100%)