|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Package | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
org.qedeq.kernel.bo.logic.work org.qedeq.kernel.bo.logic.work | 3.0 3 | 2.2 2.2 | 0.0 0% |
0.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Class | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
EqualFormula EqualFormula | 2.0 2 | 1.0 1 | 0.0 0% |
0.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
EqualFormulaSet EqualFormulaSet | 16.0 16 | 2.0625 2.06 | 0.0 0% |
0.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
LogicalEquivalence LogicalEquivalence | 2.0 2 | 4.5 4.5 | 0.0 0% |
0.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|