DefaultInternalKernelServices
DefaultInternalKernelServices
|
0.4744409
(47.4%)
|
DefaultKernelQedeqBo
DefaultKernelQedeqBo
|
0.7477064
(74.8%)
|
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%)
|
KernelQedeqBoStorage
KernelQedeqBoStorage
|
0.6396396
(64%)
|
ModuleArbiterImpl
ModuleArbiterImpl
|
0.64102566
(64.1%)
|
PluginManager
PluginManager
|
0.4318182
(43.2%)
|
PluginResultManager
PluginResultManager
|
0.67164177
(67.2%)
|
ServiceProcessManager
ServiceProcessManager
|
0.48550725
(48.6%)
|
StateManager
StateManager
|
0.7242063
(72.4%)
|