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%)
|