| |
|
org.qedeq.kernel.xml.handler.module
|
78,7% |
85,8% |
100% |
85,2% |
|
| |
|
AxiomHandler
|
50% |
66,7% |
100% |
65,7% |
|
|
RuleHandler
|
60% |
69,2% |
100% |
68,6% |
|
|
FunctionDefinitionHandler
|
68,2% |
78,1% |
100% |
76,7% |
|
|
PredicateDefinitionHandler
|
68,2% |
78,1% |
100% |
76,7% |
|
|
LatexHandler
|
66,7% |
78,6% |
100% |
78,1% |
|
|
LatexListHandler
|
70% |
76,9% |
100% |
79,3% |
|
|
ProofHandler
|
50% |
81,8% |
100% |
80% |
|
|
LiteratureItemHandler
|
50% |
83,3% |
100% |
81% |
|
|
AuthorListHandler
|
75% |
83,3% |
100% |
84% |
|
|
FormulaOrTermHandler
|
75% |
83,3% |
100% |
84% |
|
|
LiteratureItemListHandler
|
75% |
83,3% |
100% |
84% |
|
|
UsedByListHandler
|
75% |
83,3% |
100% |
84% |
|
|
VariableListHandler
|
75% |
84,6% |
100% |
84,6% |
|
|
AuthorHandler
|
75% |
85,7% |
100% |
85,2% |
|
|
ImportListHandler
|
75% |
85,7% |
100% |
85,2% |
|
|
SubsectionListHandler
|
83,3% |
88,2% |
100% |
88,2% |
|
|
SubsectionHandler
|
83,3% |
90,5% |
100% |
89,5% |
|
|
SpecificationHandler
|
87,5% |
90,5% |
100% |
90,5% |
|
|
PropositionHandler
|
87,5% |
91,3% |
100% |
90,9% |
|
|
QedeqHandler
|
87,5% |
91,3% |
100% |
90,9% |
|
|
ChapterHandler
|
87,5% |
91,7% |
100% |
91,1% |
|
|
SectionHandler
|
87,5% |
91,7% |
100% |
91,1% |
|
|
HeaderHandler
|
92,9% |
94,7% |
100% |
94,4% |
|
|
NodeHandler
|
95% |
96,4% |
100% |
96% |
|
| |
