AbstractSimpleHandler
AbstractSimpleHandler
|
0.65384614
(65.4%)
|
AddHandler
AddHandler
|
0.7647059
(76.5%)
|
AuthorHandler
AuthorHandler
|
0.8518519
(85.2%)
|
AuthorListHandler
AuthorListHandler
|
0.84
(84%)
|
AxiomHandler
AxiomHandler
|
0.6666667
(66.7%)
|
BasicHandler
BasicHandler
|
0.0
(0%)
|
BasicParser
BasicParser
|
0.0
(0%)
|
ChangedRuleHandler
ChangedRuleHandler
|
0.86206895
(86.2%)
|
ChapterHandler
ChapterHandler
|
0.9111111
(91.1%)
|
ConclusionHandler
ConclusionHandler
|
0.8518519
(85.2%)
|
ConditionalProofHandler
ConditionalProofHandler
|
0.902439
(90.2%)
|
Context2SimpleXPath
Context2SimpleXPath
|
0.352
(35.2%)
|
ElementHandler
ElementHandler
|
0.8
(80%)
|
ExistentialHandler
ExistentialHandler
|
0.86206895
(86.2%)
|
FormalProofHandler
FormalProofHandler
|
0.84615386
(84.6%)
|
FormalProofLineListHandler
FormalProofLineListHandler
|
0.96581197
(96.6%)
|
FormulaHandler
FormulaHandler
|
0.84
(84%)
|
FunctionDefinitionHandler
FunctionDefinitionHandler
|
0.7254902
(72.5%)
|
HeaderHandler
HeaderHandler
|
0.9444444
(94.4%)
|
HypothesisHandler
HypothesisHandler
|
0.8518519
(85.2%)
|
ImportListHandler
ImportListHandler
|
0.8787879
(87.9%)
|
InitialFunctionDefinitionHandler
InitialFunctionDefinitionHandler
|
0.7254902
(72.5%)
|
InitialPredicateDefinitionHandler
InitialPredicateDefinitionHandler
|
0.7254902
(72.5%)
|
LatexHandler
LatexHandler
|
0.7941176
(79.4%)
|
LatexListHandler
LatexListHandler
|
0.8064516
(80.6%)
|
LiteratureItemHandler
LiteratureItemHandler
|
0.8095238
(81%)
|
LiteratureItemListHandler
LiteratureItemListHandler
|
0.84
(84%)
|
LoadXmlOperatorListUtility
LoadXmlOperatorListUtility
|
0.0
(0%)
|
LocationFoundException
LocationFoundException
|
1.0
(100%)
|
LocationNotFoundException
LocationNotFoundException
|
1.0
(100%)
|
ModusPonensHandler
ModusPonensHandler
|
0.7647059
(76.5%)
|
NodeHandler
NodeHandler
|
0.9661017
(96.6%)
|
ParserHandler
ParserHandler
|
0.0
(0%)
|
PredicateDefinitionHandler
PredicateDefinitionHandler
|
0.7254902
(72.5%)
|
ProofHandler
ProofHandler
|
0.8181818
(81.8%)
|
PropositionHandler
PropositionHandler
|
0.9245283
(92.5%)
|
Qedeq2Xml
Qedeq2Xml
|
0.9245586
(92.5%)
|
QedeqHandler
QedeqHandler
|
1.0
(100%)
|
RenameHandler
RenameHandler
|
0.88372093
(88.4%)
|
RuleHandler
RuleHandler
|
0.84615386
(84.6%)
|
SaxDefaultHandler
SaxDefaultHandler
|
0.8153846
(81.5%)
|
SaxEntityResolver
SaxEntityResolver
|
0.7297297
(73%)
|
SaxErrorHandler
SaxErrorHandler
|
0.7619048
(76.2%)
|
SaxParser
SaxParser
|
0.7234042
(72.3%)
|
SectionHandler
SectionHandler
|
0.9111111
(91.1%)
|
SimpleAttributes
SimpleAttributes
|
0.54385966
(54.4%)
|
SimpleHandler
SimpleHandler
|
0.875
(87.5%)
|
SimpleXPath
SimpleXPath
|
0.7256637
(72.6%)
|
SpecificationHandler
SpecificationHandler
|
0.8888889
(88.9%)
|
SubsectionHandler
SubsectionHandler
|
0.8947368
(89.5%)
|
SubsectionListHandler
SubsectionListHandler
|
0.88235295
(88.2%)
|
SubstFreevarHandler
SubstFreevarHandler
|
0.902439
(90.2%)
|
SubstFuncvarHandler
SubstFuncvarHandler
|
0.902439
(90.2%)
|
SubstPredvarHandler
SubstPredvarHandler
|
0.902439
(90.2%)
|
TermHandler
TermHandler
|
0.84
(84%)
|
UniversalHandler
UniversalHandler
|
0.86206895
(86.2%)
|
UsedByListHandler
UsedByListHandler
|
0.84
(84%)
|
XPathLocationFinder
XPathLocationFinder
|
0.9120879
(91.2%)
|
XPathLocationFoundException
XPathLocationFoundException
|
1.0
(100%)
|
XPathLocationParser
XPathLocationParser
|
0.7033493
(70.3%)
|
XmlQedeqFileDao
XmlQedeqFileDao
|
0.54385966
(54.4%)
|
XmlReader
XmlReader
|
0.37777779
(37.8%)
|
XmlReaderException
XmlReaderException
|
1.0
(100%)
|
XmlSyntaxException
XmlSyntaxException
|
0.7777778
(77.8%)
|