Loading...
Class Coverage    
AsciiMathParser AsciiMathParser 0.9493671 (94.9%)
BasicKernel BasicKernel 0.96428573 (96.4%)
BasicKernel.LazyHolderTimeoutMethods BasicKernel.LazyHolderTimeoutMethods 0.0 (0%)
CheckRequiredModuleException CheckRequiredModuleException 1.0 (100%)
ClassOperatorAlreadyExistsException ClassOperatorAlreadyExistsException 0.0 (0%)
ClosingBracketMissingException ClosingBracketMissingException 1.0 (100%)
ControlVisitor ControlVisitor 0.7818182 (78.2%)
DefaultExistenceChecker DefaultExistenceChecker 0.87234044 (87.2%)
DefaultInternalKernelServices DefaultInternalKernelServices 0.4744409 (47.4%)
DefaultKernelQedeqBo DefaultKernelQedeqBo 0.7477064 (74.8%)
DefaultModuleEventListener DefaultModuleEventListener 1.0 (100%)
DefaultReference DefaultReference 1.0 (100%)
DynamicDirectInterpreter DynamicDirectInterpreter 0.76617956 (76.6%)
DynamicHeuristicCheckerExecutor DynamicHeuristicCheckerExecutor 0.4008097 (40.1%)
DynamicHeuristicCheckerPlugin DynamicHeuristicCheckerPlugin 0.8181818 (81.8%)
DynamicModel DynamicModel 0.8727273 (87.3%)
Element2LatexImpl Element2LatexImpl 0.975 (97.5%)
Element2LatexImpl.BinaryLogical Element2LatexImpl.BinaryLogical 1.0 (100%)
Element2LatexImpl.Class Element2LatexImpl.Class 1.0 (100%)
Element2LatexImpl.Classlist Element2LatexImpl.Classlist 1.0 (100%)
Element2LatexImpl.Funcon Element2LatexImpl.Funcon 0.6037736 (60.4%)
Element2LatexImpl.Funvar Element2LatexImpl.Funvar 1.0 (100%)
Element2LatexImpl.Not Element2LatexImpl.Not 1.0 (100%)
Element2LatexImpl.Predcon Element2LatexImpl.Predcon 0.8301887 (83%)
Element2LatexImpl.Predvar Element2LatexImpl.Predvar 1.0 (100%)
Element2LatexImpl.Quantifier Element2LatexImpl.Quantifier 1.0 (100%)
Element2LatexImpl.Unknown Element2LatexImpl.Unknown 1.0 (100%)
Element2LatexImpl.Var Element2LatexImpl.Var 0.92 (92%)
Element2Utf8Impl Element2Utf8Impl 1.0 (100%)
ElementCheckException ElementCheckException 0.5 (50%)
EndSymbolNotFoundException EndSymbolNotFoundException 1.0 (100%)
Entity Entity 1.0 (100%)
EverythingExists EverythingExists 0.5652174 (56.5%)
FormalProofCheckerExecutor FormalProofCheckerExecutor 0.6210191 (62.1%)
FormalProofCheckerPlugin FormalProofCheckerPlugin 0.8 (80%)
FormulaCheckException FormulaCheckException 0.5 (50%)
FormulaCheckerFactoryImpl FormulaCheckerFactoryImpl 1.0 (100%)
FormulaCheckerImpl FormulaCheckerImpl 0.9453552 (94.5%)
FormulaUtility FormulaUtility 0.7270408 (72.7%)
FourDynamicModel FourDynamicModel 0.852459 (85.2%)
Function Function 0.5294118 (52.9%)
FunctionConstant FunctionConstant 0.60465115 (60.5%)
FunctionKey FunctionKey 0.72727275 (72.7%)
FunctionVariable FunctionVariable 1.0 (100%)
FunctionVariableInterpreter FunctionVariableInterpreter 0.6909091 (69.1%)
HeuristicException HeuristicException 0.5 (50%)
IdentityOperatorAlreadyExistsException IdentityOperatorAlreadyExistsException 0.5 (50%)
InternalModuleServiceCallImpl InternalModuleServiceCallImpl 0.42335767 (42.3%)
InternalServiceJobImpl InternalServiceJobImpl 0.38405797 (38.4%)
KernelContext KernelContext 0.91463417 (91.5%)
KernelModuleReferenceList KernelModuleReferenceList 0.5675676 (56.8%)
KernelNodeBo KernelNodeBo 0.76229507 (76.2%)
KernelQedeqBoStorage KernelQedeqBoStorage 0.6396396 (64%)
Latex2UnicodeParser Latex2UnicodeParser 0.83908045 (83.9%)
Latex2UnicodeSpecials Latex2UnicodeSpecials 0.5131086 (51.3%)
LatexContentException LatexContentException 1.0 (100%)
LatexListDataException LatexListDataException 0.5 (50%)
LatexMathParser LatexMathParser 0.7916667 (79.2%)
LoadDirectlyRequiredModulesExecutor LoadDirectlyRequiredModulesExecutor 1.0 (100%)
LoadDirectlyRequiredModulesPlugin LoadDirectlyRequiredModulesPlugin 0.5555556 (55.6%)
LoadRequiredModuleException LoadRequiredModuleException 0.5 (50%)
LoadRequiredModulesExecutor LoadRequiredModulesExecutor 0.8666667 (86.7%)
LoadRequiredModulesPlugin LoadRequiredModulesPlugin 0.7777778 (77.8%)
LogListenerImpl LogListenerImpl 0.9047619 (90.5%)
LogicalCheckException LogicalCheckException 0.6 (60%)
LogicalCheckExceptionList LogicalCheckExceptionList 0.45833334 (45.8%)
MathParser MathParser 0.83547556 (83.5%)
MementoTextInput MementoTextInput 0.71428573 (71.4%)
ModelFunctionConstant ModelFunctionConstant 1.0 (100%)
ModelPredicateConstant ModelPredicateConstant 1.0 (100%)
ModuleArbiterImpl ModuleArbiterImpl 0.64102566 (64.1%)
ModuleConstantsExistenceCheckerImpl ModuleConstantsExistenceCheckerImpl 0.8731884 (87.3%)
ModuleEventListenerLog ModuleEventListenerLog 1.0 (100%)
ModuleEventLog ModuleEventLog 0.7096774 (71%)
ModuleFileNotFoundException ModuleFileNotFoundException 1.0 (100%)
ModuleLabels ModuleLabels 0.7457627 (74.6%)
ModuleLabelsCreator ModuleLabelsCreator 0.90697676 (90.7%)
ModuleLogListenerImpl ModuleLogListenerImpl 0.6 (60%)
ModuleServicePluginResults ModuleServicePluginResults 0.8333333 (83.3%)
ModusPonensBo ModusPonensBo 0.52 (52%)
Operator Operator 0.9347826 (93.5%)
Operator Operator 1.0 (100%)
ParserException ParserException 0.6 (60%)
PluginManager PluginManager 0.4318182 (43.2%)
PluginResultManager PluginResultManager 0.67164177 (67.2%)
Predicate Predicate 0.60240966 (60.2%)
PredicateConstant PredicateConstant 0.4651163 (46.5%)
PredicateKey PredicateKey 0.72727275 (72.7%)
PredicateVariable PredicateVariable 1.0 (100%)
PredicateVariableInterpreter PredicateVariableInterpreter 0.6909091 (69.1%)
ProofCheckException ProofCheckException 0.6666667 (66.7%)
ProofChecker0Impl ProofChecker0Impl 0.7 (70%)
ProofChecker1Impl ProofChecker1Impl 0.7009174 (70.1%)
ProofChecker2Impl ProofChecker2Impl 0.4456929 (44.6%)
ProofCheckerFactoryImpl ProofCheckerFactoryImpl 0.6451613 (64.5%)
ProofException ProofException 1.0 (100%)
ProofFinderFactoryImpl ProofFinderFactoryImpl 1.0 (100%)
ProofFinderImpl ProofFinderImpl 0.7147651 (71.5%)
ProofFinderImpl.SubstituteBase ProofFinderImpl.SubstituteBase 0.8518519 (85.2%)
ProofFinderUtility ProofFinderUtility 0.9266055 (92.7%)
ProofFoundException ProofFoundException 1.0 (100%)
ProofLineData ProofLineData 0.6875 (68.8%)
ProofNotFoundException ProofNotFoundException 1.0 (100%)
Qedeq2LatexExecutor Qedeq2LatexExecutor 0.8132482 (81.3%)
Qedeq2LatexPlugin Qedeq2LatexPlugin 0.8333333 (83.3%)
Qedeq2UnicodeTextExecutor Qedeq2UnicodeTextExecutor 0.35897437 (35.9%)
Qedeq2UnicodeTextPlugin Qedeq2UnicodeTextPlugin 0.5714286 (57.1%)
Qedeq2UnicodeVisitor Qedeq2UnicodeVisitor 0.8148148 (81.5%)
Qedeq2Utf8Executor Qedeq2Utf8Executor 0.3809524 (38.1%)
Qedeq2Utf8Plugin Qedeq2Utf8Plugin 0.5714286 (57.1%)
QedeqBoDuplicateLanguageChecker QedeqBoDuplicateLanguageChecker 0.8666667 (86.7%)
QedeqBoSet QedeqBoSet 0.7719298 (77.2%)
QedeqLog QedeqLog 0.9692308 (96.9%)
QedeqVoBuilder QedeqVoBuilder 0.8033708 (80.3%)
ReferenceLinkException ReferenceLinkException 0.5 (50%)
RuntimeVisitorException RuntimeVisitorException 0.0 (0%)
SeparatorNotFoundException SeparatorNotFoundException 0.0 (0%)
ServiceProcessManager ServiceProcessManager 0.48550725 (48.6%)
ServiceResultImpl ServiceResultImpl 0.5 (50%)
SimpleMathParser SimpleMathParser 0.9315069 (93.2%)
SimpleProofFinderExecutor SimpleProofFinderExecutor 0.48920864 (48.9%)
SimpleProofFinderPlugin SimpleProofFinderPlugin 0.9285714 (92.9%)
SixDynamicModel SixDynamicModel 0.51754385 (51.8%)
StateManager StateManager 0.7242063 (72.4%)
SubjectVariable SubjectVariable 0.46666667 (46.7%)
SubjectVariableAllocation SubjectVariableAllocation 0.78571427 (78.6%)
SubjectVariableInterpreter SubjectVariableInterpreter 0.72527474 (72.5%)
SubstPredBo SubstPredBo 0.26086956 (26.1%)
Term Term 0.41666666 (41.7%)
TermAtom TermAtom 1.0 (100%)
TermCheckException TermCheckException 0.5 (50%)
ThreeDynamicModel ThreeDynamicModel 0.90140843 (90.1%)
TooFewArgumentsException TooFewArgumentsException 1.0 (100%)
TooMuchArgumentsException TooMuchArgumentsException 1.0 (100%)
TraceListener TraceListener 0.8947368 (89.5%)
UnaryDynamicModel UnaryDynamicModel 0.8333333 (83.3%)
UnexpectedOperatorException UnexpectedOperatorException 1.0 (100%)
UnicodeException UnicodeException 1.0 (100%)
WellFormedCheckerExecutor WellFormedCheckerExecutor 0.7441176 (74.4%)
WellFormedCheckerPlugin WellFormedCheckerPlugin 0.8 (80%)