org.qedeq.kernel.bo.logic.proof.finder
Loading...
Class Coverage    
ModusPonensBo ModusPonensBo 0.52 (52%)
ProofFinderImpl ProofFinderImpl 0.7147651 (71.5%)
ProofFinderImpl.SubstituteBase ProofFinderImpl.SubstituteBase 0.8518519 (85.2%)
ProofFinderUtility ProofFinderUtility 0.9266055 (92.7%)
SubstPredBo SubstPredBo 0.26086956 (26.1%)