|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Package | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker | 5.0 5 | 4.5423727 4.54 | 0.5506608 55.1% |
0.5506608
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Class | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofChecker2Impl ProofChecker2Impl | 34.0 34 | 4.882353 4.88 | 0.4456929 44.6% |
0.4456929
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofCheckException ProofCheckException | 3.0 3 | 1.0 1 | 0.6666667 66.7% |
0.6666667
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofChecker0Impl ProofChecker0Impl | 3.0 3 | 1.0 1 | 0.7 70% |
0.7
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofChecker1Impl ProofChecker1Impl | 19.0 19 | 5.0526314 5.05 | 0.7009174 70.1% |
0.7009174
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|