|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Package | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.common | 3.0 3 | 1.0 1 | 0.8648649 86.5% |
0.8648649
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Class | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
FormulaUtilityReplaceOperatorVariableTest FormulaUtilityReplaceOperatorVariableTest | 3.0 3 | 1.0 1 | 0.64285713 64.3% |
0.64285713
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
FormulaUtilityReplaceSubjectVariableQuantifierTest FormulaUtilityReplaceSubjectVariableQuantifierTest | 6.0 6 | 1.0 1 | 1.0 100% |
1.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|