16 14 2 19 2 0.12 0.1 0.78 1 org.qedeq.base.io.AbstractOutput org.qedeq.base.io.LoadingListener org.qedeq.base.io.IoUtility org.qedeq.base.io.Parameters org.qedeq.base.io.Path org.qedeq.base.io.ResourceLoaderUtility org.qedeq.base.io.SourceArea org.qedeq.base.io.SourcePosition org.qedeq.base.io.StringOutput org.qedeq.base.io.SubTextInput org.qedeq.base.io.TextInput org.qedeq.base.io.TextOutput org.qedeq.base.io.UrlUtility org.qedeq.base.io.UrlUtility$LazyHolderTimeoutMethods org.qedeq.base.io.Version org.qedeq.base.io.VersionSet org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.tracker 1 1 0 19 0 0 0 1 1 org.qedeq.base.trace.Trace org.qedeq.base.io org.qedeq.kernel.bo org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.module org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.common org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.parser org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.tracker 6 5 1 20 0 0.17 0 0.83 1 org.qedeq.base.utility.YodaUtility org.qedeq.base.utility.DateUtility org.qedeq.base.utility.Enumerator org.qedeq.base.utility.EqualsUtility org.qedeq.base.utility.Splitter org.qedeq.base.utility.StringUtility org.qedeq.base.io org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.tracker 4 4 0 5 7 0 0.58 0.42 1 org.qedeq.kernel.bo.KernelContext org.qedeq.kernel.bo.KernelContext$1 org.qedeq.kernel.bo.KernelContext$2 org.qedeq.kernel.bo.KernelContext$3 org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.tracker 13 2 11 12 8 0.85 0.4 0.25 1 org.qedeq.kernel.bo.common.Element2Latex org.qedeq.kernel.bo.common.Element2Utf8 org.qedeq.kernel.bo.common.KernelProperties org.qedeq.kernel.bo.common.KernelServices org.qedeq.kernel.bo.common.KernelState org.qedeq.kernel.bo.common.ModuleReferenceList org.qedeq.kernel.bo.common.NodeBo org.qedeq.kernel.bo.common.PluginExecutor org.qedeq.kernel.bo.common.QedeqBo org.qedeq.kernel.bo.common.ServiceModule org.qedeq.kernel.bo.common.ServiceProcess org.qedeq.kernel.bo.common.BasicKernel org.qedeq.kernel.bo.common.BasicKernel$LazyHolderTimeoutMethods org.qedeq.base.io org.qedeq.base.utility org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.bo org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.xml.dao 10 7 3 8 4 0.3 0.33 0.37 1 org.qedeq.kernel.bo.log.LogListener org.qedeq.kernel.bo.log.ModuleEventListener org.qedeq.kernel.bo.log.ModuleLogListener org.qedeq.kernel.bo.log.DefaultModuleEventListener org.qedeq.kernel.bo.log.LogListenerImpl org.qedeq.kernel.bo.log.ModuleEventListenerLog org.qedeq.kernel.bo.log.ModuleEventLog org.qedeq.kernel.bo.log.ModuleLogListenerImpl org.qedeq.kernel.bo.log.QedeqLog org.qedeq.kernel.bo.log.TraceListener org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.se.common org.qedeq.kernel.bo org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode 3 3 0 1 6 0 0.86 0.14 1 org.qedeq.kernel.bo.logic.FormulaCheckerFactoryImpl org.qedeq.kernel.bo.logic.ProofCheckerFactoryImpl org.qedeq.kernel.bo.logic.ProofFinderFactoryImpl org.qedeq.base.io org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.service.logic 20 9 11 8 4 0.55 0.33 0.12 1 org.qedeq.kernel.bo.logic.common.ClassOperatorExistenceChecker org.qedeq.kernel.bo.logic.common.ExistenceChecker org.qedeq.kernel.bo.logic.common.FormulaChecker org.qedeq.kernel.bo.logic.common.FormulaCheckerFactory org.qedeq.kernel.bo.logic.common.FunctionExistenceChecker org.qedeq.kernel.bo.logic.common.IdentityOperatorExistenceChecker org.qedeq.kernel.bo.logic.common.LogicalCheckException org.qedeq.kernel.bo.logic.common.Operators org.qedeq.kernel.bo.logic.common.PredicateExistenceChecker org.qedeq.kernel.bo.logic.common.ReferenceResolver org.qedeq.kernel.bo.logic.common.RuleExistenceChecker org.qedeq.kernel.bo.logic.common.ClassOperatorAlreadyExistsException org.qedeq.kernel.bo.logic.common.FormulaUtility org.qedeq.kernel.bo.logic.common.FunctionConstant org.qedeq.kernel.bo.logic.common.FunctionKey org.qedeq.kernel.bo.logic.common.IdentityOperatorAlreadyExistsException org.qedeq.kernel.bo.logic.common.LogicalCheckExceptionList org.qedeq.kernel.bo.logic.common.PredicateConstant org.qedeq.kernel.bo.logic.common.PredicateKey org.qedeq.kernel.bo.logic.common.SubjectVariable org.qedeq.base.utility org.qedeq.kernel.se.base.list org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.logic 40 34 6 1 9 0.15 0.9 0.05 1 org.qedeq.kernel.bo.logic.model.DynamicModel org.qedeq.kernel.bo.logic.model.Function org.qedeq.kernel.bo.logic.model.HeuristicErrorCodes org.qedeq.kernel.bo.logic.model.Model org.qedeq.kernel.bo.logic.model.Operator org.qedeq.kernel.bo.logic.model.Predicate org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreter org.qedeq.kernel.bo.logic.model.DynamicModel$1 org.qedeq.kernel.bo.logic.model.DynamicModel$2 org.qedeq.kernel.bo.logic.model.DynamicModel$3 org.qedeq.kernel.bo.logic.model.DynamicModel$4 org.qedeq.kernel.bo.logic.model.DynamicModel$5 org.qedeq.kernel.bo.logic.model.Entity org.qedeq.kernel.bo.logic.model.FourDynamicModel org.qedeq.kernel.bo.logic.model.FourDynamicModel$1 org.qedeq.kernel.bo.logic.model.FourDynamicModel$2 org.qedeq.kernel.bo.logic.model.FourDynamicModel$3 org.qedeq.kernel.bo.logic.model.Function$1 org.qedeq.kernel.bo.logic.model.FunctionVariable org.qedeq.kernel.bo.logic.model.FunctionVariableInterpreter org.qedeq.kernel.bo.logic.model.HeuristicException org.qedeq.kernel.bo.logic.model.ModelFunctionConstant org.qedeq.kernel.bo.logic.model.ModelPredicateConstant org.qedeq.kernel.bo.logic.model.Predicate$1 org.qedeq.kernel.bo.logic.model.Predicate$2 org.qedeq.kernel.bo.logic.model.Predicate$3 org.qedeq.kernel.bo.logic.model.Predicate$4 org.qedeq.kernel.bo.logic.model.PredicateVariable org.qedeq.kernel.bo.logic.model.PredicateVariableInterpreter org.qedeq.kernel.bo.logic.model.SixDynamicModel org.qedeq.kernel.bo.logic.model.SixDynamicModel$1 org.qedeq.kernel.bo.logic.model.SixDynamicModel$2 org.qedeq.kernel.bo.logic.model.SixDynamicModel$3 org.qedeq.kernel.bo.logic.model.SubjectVariableAllocation org.qedeq.kernel.bo.logic.model.SubjectVariableInterpreter org.qedeq.kernel.bo.logic.model.ThreeDynamicModel org.qedeq.kernel.bo.logic.model.ThreeDynamicModel$1 org.qedeq.kernel.bo.logic.model.ThreeDynamicModel$2 org.qedeq.kernel.bo.logic.model.UnaryDynamicModel org.qedeq.kernel.bo.logic.model.UnaryDynamicModel$1 org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.base.list org.qedeq.kernel.se.common org.qedeq.kernel.bo.service.heuristic 6 5 1 2 9 0.17 0.82 0.02 1 org.qedeq.kernel.bo.logic.proof.checker.BasicProofErrors org.qedeq.kernel.bo.logic.proof.checker.ProofCheckException org.qedeq.kernel.bo.logic.proof.checker.ProofChecker0Impl org.qedeq.kernel.bo.logic.proof.checker.ProofChecker1Impl org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl$1 org.qedeq.base.io org.qedeq.base.utility org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.service.logic 9 2 7 4 8 0.78 0.67 0.44 1 org.qedeq.kernel.bo.logic.proof.common.ProofChecker org.qedeq.kernel.bo.logic.proof.common.ProofCheckerFactory org.qedeq.kernel.bo.logic.proof.common.ProofException org.qedeq.kernel.bo.logic.proof.common.ProofFinder org.qedeq.kernel.bo.logic.proof.common.ProofFinderFactory org.qedeq.kernel.bo.logic.proof.common.ProofFoundListener org.qedeq.kernel.bo.logic.proof.common.RuleChecker org.qedeq.kernel.bo.logic.proof.common.ProofFoundException org.qedeq.kernel.bo.logic.proof.common.ProofNotFoundException org.qedeq.base.io org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.common org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.visitor org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.service.logic 14 11 3 1 12 0.21 0.92 0.14 1 org.qedeq.kernel.bo.logic.proof.finder.FinderErrors org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$Substitute org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$SubstituteBase org.qedeq.kernel.bo.logic.proof.finder.ModusPonensBo org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$1 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$2 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$3 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$4 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$5 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$6 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$7 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderUtility org.qedeq.kernel.bo.logic.proof.finder.SubstPredBo org.qedeq.base.io org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.bo.logic 6 5 1 2 5 0.17 0.71 0.12 1 org.qedeq.kernel.bo.logic.wf.FormulaBasicErrors org.qedeq.kernel.bo.logic.wf.ElementCheckException org.qedeq.kernel.bo.logic.wf.EverythingExists org.qedeq.kernel.bo.logic.wf.FormulaCheckException org.qedeq.kernel.bo.logic.wf.FormulaCheckerImpl org.qedeq.kernel.bo.logic.wf.TermCheckException org.qedeq.base.trace org.qedeq.kernel.bo.logic.common org.qedeq.kernel.se.base.list org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic.proof.checker 16 8 8 8 10 0.5 0.56 0.06 1 org.qedeq.kernel.bo.module.ControlVisitor org.qedeq.kernel.bo.module.InternalKernelServices org.qedeq.kernel.bo.module.KernelQedeqBo org.qedeq.kernel.bo.module.ModuleConstantsExistenceChecker org.qedeq.kernel.bo.module.ModuleErrors org.qedeq.kernel.bo.module.PluginBo org.qedeq.kernel.bo.module.QedeqFileDao org.qedeq.kernel.bo.module.Reference org.qedeq.kernel.bo.module.DefaultReference org.qedeq.kernel.bo.module.KernelModuleReferenceList org.qedeq.kernel.bo.module.KernelNodeBo org.qedeq.kernel.bo.module.ModuleLabels org.qedeq.kernel.bo.module.PluginResults org.qedeq.kernel.bo.module.PluginState org.qedeq.kernel.bo.module.ReferenceLinkException org.qedeq.kernel.bo.module.RuntimeVisitorException org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.common org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.parser 15 13 2 1 3 0.13 0.75 0.12 1 org.qedeq.kernel.bo.parser.MathParser org.qedeq.kernel.bo.parser.ParserException org.qedeq.kernel.bo.parser.AsciiMathParser org.qedeq.kernel.bo.parser.ClosingBracketMissingException org.qedeq.kernel.bo.parser.EndSymbolNotFoundException org.qedeq.kernel.bo.parser.LatexMathParser org.qedeq.kernel.bo.parser.MementoTextInput org.qedeq.kernel.bo.parser.Operator org.qedeq.kernel.bo.parser.SeparatorNotFoundException org.qedeq.kernel.bo.parser.SimpleMathParser org.qedeq.kernel.bo.parser.Term org.qedeq.kernel.bo.parser.TermAtom org.qedeq.kernel.bo.parser.TooFewArgumentsException org.qedeq.kernel.bo.parser.TooMuchArgumentsException org.qedeq.kernel.bo.parser.UnexpectedOperatorException org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.xml.handler.parser 34 32 2 1 15 0.06 0.94 0 1 org.qedeq.kernel.bo.service.Element2LatexImpl$ListType org.qedeq.kernel.bo.service.ServiceErrors org.qedeq.kernel.bo.service.DefaultInternalKernelServices org.qedeq.kernel.bo.service.DefaultInternalKernelServices$1 org.qedeq.kernel.bo.service.DefaultInternalKernelServices$2 org.qedeq.kernel.bo.service.DefaultInternalKernelServices$3 org.qedeq.kernel.bo.service.DefaultKernelQedeqBo org.qedeq.kernel.bo.service.Element2LatexImpl org.qedeq.kernel.bo.service.Element2LatexImpl$BinaryLogical org.qedeq.kernel.bo.service.Element2LatexImpl$Class org.qedeq.kernel.bo.service.Element2LatexImpl$Classlist org.qedeq.kernel.bo.service.Element2LatexImpl$Funcon org.qedeq.kernel.bo.service.Element2LatexImpl$Funvar org.qedeq.kernel.bo.service.Element2LatexImpl$Not org.qedeq.kernel.bo.service.Element2LatexImpl$Predcon org.qedeq.kernel.bo.service.Element2LatexImpl$Predvar org.qedeq.kernel.bo.service.Element2LatexImpl$Quantifier org.qedeq.kernel.bo.service.Element2LatexImpl$QuantorIntersection org.qedeq.kernel.bo.service.Element2LatexImpl$QuantorUnion org.qedeq.kernel.bo.service.Element2LatexImpl$Unknown org.qedeq.kernel.bo.service.Element2LatexImpl$Var org.qedeq.kernel.bo.service.Element2Utf8Impl org.qedeq.kernel.bo.service.KernelQedeqBoStorage org.qedeq.kernel.bo.service.LoadDirectlyRequiredModules org.qedeq.kernel.bo.service.LoadRequiredModuleException org.qedeq.kernel.bo.service.LoadRequiredModules org.qedeq.kernel.bo.service.ModuleFileNotFoundException org.qedeq.kernel.bo.service.ModuleLabelsCreator org.qedeq.kernel.bo.service.PluginManager org.qedeq.kernel.bo.service.PluginResultManager org.qedeq.kernel.bo.service.QedeqVoBuilder org.qedeq.kernel.bo.service.ServiceProcessImpl org.qedeq.kernel.bo.service.ServiceProcessManager org.qedeq.kernel.bo.service.StateManager org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.module org.qedeq.kernel.bo.logic.model 2 2 0 0 10 0 1 0 1 org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerExecutor org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPlugin org.qedeq.base.io org.qedeq.base.trace org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list 8 7 1 0 12 0.12 1 0.12 1 org.qedeq.kernel.bo.service.latex.LatexErrorCodes org.qedeq.kernel.bo.service.latex.LatexContentException org.qedeq.kernel.bo.service.latex.LatexListDataException org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor$1 org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor$2 org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor 11 10 1 1 15 0.09 0.94 0.03 1 org.qedeq.kernel.bo.service.logic.LogicErrors org.qedeq.kernel.bo.service.logic.CheckRequiredModuleException org.qedeq.kernel.bo.service.logic.DefaultExistenceChecker org.qedeq.kernel.bo.service.logic.FormalProofCheckerExecutor org.qedeq.kernel.bo.service.logic.FormalProofCheckerPlugin org.qedeq.kernel.bo.service.logic.ModuleConstantsExistenceCheckerImpl org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor$1 org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin org.qedeq.kernel.bo.service.logic.WellFormedCheckerExecutor org.qedeq.kernel.bo.service.logic.WellFormedCheckerPlugin org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.module org.qedeq.kernel.bo.service 12 10 2 2 12 0.17 0.86 0.02 1 org.qedeq.kernel.bo.service.unicode.ReferenceFinder org.qedeq.kernel.bo.service.unicode.UnicodeErrorCodes org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParser org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParser$1 org.qedeq.kernel.bo.service.unicode.Latex2UnicodeSpecials org.qedeq.kernel.bo.service.unicode.ProofLineData org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutor org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeVisitor org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Executor org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin org.qedeq.kernel.bo.service.unicode.UnicodeException org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.visitor org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.service 3 0 3 22 0 1 0 0 1 org.qedeq.kernel.se.base.list.Atom org.qedeq.kernel.se.base.list.Element org.qedeq.kernel.se.base.list.ElementList org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.base.module org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.parser 53 0 53 16 1 1 0.06 0.06 1 org.qedeq.kernel.se.base.module.Add org.qedeq.kernel.se.base.module.Author org.qedeq.kernel.se.base.module.AuthorList org.qedeq.kernel.se.base.module.Axiom org.qedeq.kernel.se.base.module.ChangedRule org.qedeq.kernel.se.base.module.ChangedRuleList org.qedeq.kernel.se.base.module.Chapter org.qedeq.kernel.se.base.module.ChapterList org.qedeq.kernel.se.base.module.Conclusion org.qedeq.kernel.se.base.module.ConditionalProof org.qedeq.kernel.se.base.module.Existential org.qedeq.kernel.se.base.module.FormalProof org.qedeq.kernel.se.base.module.FormalProofLine org.qedeq.kernel.se.base.module.FormalProofLineList org.qedeq.kernel.se.base.module.FormalProofList org.qedeq.kernel.se.base.module.Formula org.qedeq.kernel.se.base.module.FunctionDefinition org.qedeq.kernel.se.base.module.Header org.qedeq.kernel.se.base.module.Hypothesis org.qedeq.kernel.se.base.module.Import org.qedeq.kernel.se.base.module.ImportList org.qedeq.kernel.se.base.module.InitialFunctionDefinition org.qedeq.kernel.se.base.module.InitialPredicateDefinition org.qedeq.kernel.se.base.module.Latex org.qedeq.kernel.se.base.module.LatexList org.qedeq.kernel.se.base.module.LinkList org.qedeq.kernel.se.base.module.LiteratureItem org.qedeq.kernel.se.base.module.LiteratureItemList org.qedeq.kernel.se.base.module.Location org.qedeq.kernel.se.base.module.LocationList org.qedeq.kernel.se.base.module.ModusPonens org.qedeq.kernel.se.base.module.Node org.qedeq.kernel.se.base.module.NodeType org.qedeq.kernel.se.base.module.PredicateDefinition org.qedeq.kernel.se.base.module.Proof org.qedeq.kernel.se.base.module.ProofList org.qedeq.kernel.se.base.module.Proposition org.qedeq.kernel.se.base.module.Qedeq org.qedeq.kernel.se.base.module.Reason org.qedeq.kernel.se.base.module.Rename org.qedeq.kernel.se.base.module.Rule org.qedeq.kernel.se.base.module.Section org.qedeq.kernel.se.base.module.SectionList org.qedeq.kernel.se.base.module.Specification org.qedeq.kernel.se.base.module.Subsection org.qedeq.kernel.se.base.module.SubsectionList org.qedeq.kernel.se.base.module.SubsectionType org.qedeq.kernel.se.base.module.SubstFree org.qedeq.kernel.se.base.module.SubstFunc org.qedeq.kernel.se.base.module.SubstPred org.qedeq.kernel.se.base.module.Term org.qedeq.kernel.se.base.module.Universal org.qedeq.kernel.se.base.module.UsedByList org.qedeq.kernel.se.base.list org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.mapper 19 9 10 23 4 0.53 0.15 0.33 1 org.qedeq.kernel.se.common.CheckLevel org.qedeq.kernel.se.common.DependencyStateDescriptions org.qedeq.kernel.se.common.ErrorCodes org.qedeq.kernel.se.common.LoadingStateDescriptions org.qedeq.kernel.se.common.LogicalModuleStateDescriptions org.qedeq.kernel.se.common.ModuleAddress org.qedeq.kernel.se.common.ModuleDataException org.qedeq.kernel.se.common.Plugin org.qedeq.kernel.se.common.QedeqException org.qedeq.kernel.se.common.State org.qedeq.kernel.se.common.DefaultModuleAddress org.qedeq.kernel.se.common.DependencyState org.qedeq.kernel.se.common.IllegalModuleDataException org.qedeq.kernel.se.common.LoadingState org.qedeq.kernel.se.common.LogicalModuleState org.qedeq.kernel.se.common.ModuleContext org.qedeq.kernel.se.common.RuleKey org.qedeq.kernel.se.common.SourceFileException org.qedeq.kernel.se.common.SourceFileExceptionList org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.se.base.module org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.config org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.common org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.parser org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.parser 2 2 0 5 2 0 0.29 0.71 1 org.qedeq.kernel.se.config.ConfigAccess org.qedeq.kernel.se.config.QedeqConfig org.qedeq.base.io org.qedeq.kernel.se.common org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.unicode 3 3 0 8 1 0 0.11 0.89 1 org.qedeq.kernel.se.dto.list.DefaultAtom org.qedeq.kernel.se.dto.list.DefaultElementList org.qedeq.kernel.se.dto.list.ElementSet org.qedeq.kernel.se.base.list org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.logic org.qedeq.kernel.xml.handler.list 50 50 0 8 3 0 0.27 0.73 1 org.qedeq.kernel.se.dto.module.AddVo org.qedeq.kernel.se.dto.module.AuthorListVo org.qedeq.kernel.se.dto.module.AuthorVo org.qedeq.kernel.se.dto.module.AxiomVo org.qedeq.kernel.se.dto.module.ChangedRuleListVo org.qedeq.kernel.se.dto.module.ChangedRuleVo org.qedeq.kernel.se.dto.module.ChapterListVo org.qedeq.kernel.se.dto.module.ChapterVo org.qedeq.kernel.se.dto.module.ConclusionVo org.qedeq.kernel.se.dto.module.ConditionalProofVo org.qedeq.kernel.se.dto.module.ExistentialVo org.qedeq.kernel.se.dto.module.FormalProofLineListVo org.qedeq.kernel.se.dto.module.FormalProofLineVo org.qedeq.kernel.se.dto.module.FormalProofListVo org.qedeq.kernel.se.dto.module.FormalProofVo org.qedeq.kernel.se.dto.module.FormulaVo org.qedeq.kernel.se.dto.module.FunctionDefinitionVo org.qedeq.kernel.se.dto.module.HeaderVo org.qedeq.kernel.se.dto.module.HypothesisVo org.qedeq.kernel.se.dto.module.ImportListVo org.qedeq.kernel.se.dto.module.ImportVo org.qedeq.kernel.se.dto.module.InitialFunctionDefinitionVo org.qedeq.kernel.se.dto.module.InitialPredicateDefinitionVo org.qedeq.kernel.se.dto.module.LatexListVo org.qedeq.kernel.se.dto.module.LatexVo org.qedeq.kernel.se.dto.module.LinkListVo org.qedeq.kernel.se.dto.module.LiteratureItemListVo org.qedeq.kernel.se.dto.module.LiteratureItemVo org.qedeq.kernel.se.dto.module.LocationListVo org.qedeq.kernel.se.dto.module.LocationVo org.qedeq.kernel.se.dto.module.ModusPonensVo org.qedeq.kernel.se.dto.module.NodeVo org.qedeq.kernel.se.dto.module.PredicateDefinitionVo org.qedeq.kernel.se.dto.module.ProofListVo org.qedeq.kernel.se.dto.module.ProofVo org.qedeq.kernel.se.dto.module.PropositionVo org.qedeq.kernel.se.dto.module.QedeqVo org.qedeq.kernel.se.dto.module.RenameVo org.qedeq.kernel.se.dto.module.RuleVo org.qedeq.kernel.se.dto.module.SectionListVo org.qedeq.kernel.se.dto.module.SectionVo org.qedeq.kernel.se.dto.module.SpecificationVo org.qedeq.kernel.se.dto.module.SubsectionListVo org.qedeq.kernel.se.dto.module.SubsectionVo org.qedeq.kernel.se.dto.module.SubstFreeVo org.qedeq.kernel.se.dto.module.SubstFuncVo org.qedeq.kernel.se.dto.module.SubstPredVo org.qedeq.kernel.se.dto.module.TermVo org.qedeq.kernel.se.dto.module.UniversalVo org.qedeq.kernel.se.dto.module.UsedByListVo org.qedeq.base.utility org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.handler.module 8 4 4 7 5 0.5 0.42 0.08 1 org.qedeq.kernel.se.visitor.AbstractModuleVisitor org.qedeq.kernel.se.visitor.ListVisitor org.qedeq.kernel.se.visitor.QedeqTraverser org.qedeq.kernel.se.visitor.QedeqVisitor org.qedeq.kernel.se.visitor.InterruptException org.qedeq.kernel.se.visitor.LatexList2Text org.qedeq.kernel.se.visitor.QedeqNotNullTraverser org.qedeq.kernel.se.visitor.QedeqNumbers org.qedeq.base.utility org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.module org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.xml.mapper 1 1 0 5 1 0 0.17 0.83 1 org.qedeq.kernel.xml.common.XmlSyntaxException org.qedeq.kernel.se.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.parser org.qedeq.kernel.xml.parser 4 3 1 0 14 0.25 1 0.25 1 org.qedeq.kernel.xml.dao.DaoErrors org.qedeq.kernel.xml.dao.Qedeq2Xml org.qedeq.kernel.xml.dao.Xml2Xml org.qedeq.kernel.xml.dao.XmlQedeqFileDao org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.tracker 4 3 1 6 4 0.25 0.4 0.35 1 org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler org.qedeq.kernel.xml.handler.common.SaxDefaultHandler org.qedeq.kernel.xml.handler.common.SimpleAttributes org.qedeq.kernel.xml.handler.common.SimpleHandler org.qedeq.base.io org.qedeq.base.trace org.qedeq.kernel.se.common org.qedeq.kernel.xml.common org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.parser org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.tracker 2 2 0 2 4 0 0.67 0.33 1 org.qedeq.kernel.xml.handler.list.BasicHandler org.qedeq.kernel.xml.handler.list.ElementHandler org.qedeq.kernel.se.base.list org.qedeq.kernel.se.dto.list org.qedeq.kernel.xml.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.parser 40 40 0 1 6 0 0.86 0.14 1 org.qedeq.kernel.xml.handler.module.AddHandler org.qedeq.kernel.xml.handler.module.AuthorHandler org.qedeq.kernel.xml.handler.module.AuthorListHandler org.qedeq.kernel.xml.handler.module.AxiomHandler org.qedeq.kernel.xml.handler.module.ChangedRuleHandler org.qedeq.kernel.xml.handler.module.ChapterHandler org.qedeq.kernel.xml.handler.module.ConclusionHandler org.qedeq.kernel.xml.handler.module.ConditionalProofHandler org.qedeq.kernel.xml.handler.module.ExistentialHandler org.qedeq.kernel.xml.handler.module.FormalProofHandler org.qedeq.kernel.xml.handler.module.FormalProofLineListHandler org.qedeq.kernel.xml.handler.module.FormulaHandler org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler org.qedeq.kernel.xml.handler.module.HeaderHandler org.qedeq.kernel.xml.handler.module.HypothesisHandler org.qedeq.kernel.xml.handler.module.ImportListHandler org.qedeq.kernel.xml.handler.module.InitialFunctionDefinitionHandler org.qedeq.kernel.xml.handler.module.InitialPredicateDefinitionHandler org.qedeq.kernel.xml.handler.module.LatexHandler org.qedeq.kernel.xml.handler.module.LatexListHandler org.qedeq.kernel.xml.handler.module.LiteratureItemHandler org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler org.qedeq.kernel.xml.handler.module.ModusPonensHandler org.qedeq.kernel.xml.handler.module.NodeHandler org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler org.qedeq.kernel.xml.handler.module.ProofHandler org.qedeq.kernel.xml.handler.module.PropositionHandler org.qedeq.kernel.xml.handler.module.QedeqHandler org.qedeq.kernel.xml.handler.module.RenameHandler org.qedeq.kernel.xml.handler.module.RuleHandler org.qedeq.kernel.xml.handler.module.SectionHandler org.qedeq.kernel.xml.handler.module.SpecificationHandler org.qedeq.kernel.xml.handler.module.SubsectionHandler org.qedeq.kernel.xml.handler.module.SubsectionListHandler org.qedeq.kernel.xml.handler.module.SubstFreevarHandler org.qedeq.kernel.xml.handler.module.SubstFuncvarHandler org.qedeq.kernel.xml.handler.module.SubstPredvarHandler org.qedeq.kernel.xml.handler.module.TermHandler org.qedeq.kernel.xml.handler.module.UniversalHandler org.qedeq.kernel.xml.handler.module.UsedByListHandler org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.dto.module org.qedeq.kernel.xml.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.dao 3 2 1 0 7 0.33 1 0.33 1 org.qedeq.kernel.xml.handler.parser.ParserErrors org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility org.qedeq.kernel.xml.handler.parser.ParserHandler org.qedeq.base.trace org.qedeq.kernel.bo.module org.qedeq.kernel.bo.parser org.qedeq.kernel.se.common org.qedeq.kernel.xml.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.parser 3 3 0 1 7 0 0.88 0.12 1 org.qedeq.kernel.xml.mapper.Context2SimpleXPath org.qedeq.kernel.xml.mapper.LocationFoundException org.qedeq.kernel.xml.mapper.LocationNotFoundException org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.tracker org.qedeq.kernel.xml.dao 5 5 0 2 8 0 0.8 0.2 1 org.qedeq.kernel.xml.parser.BasicParser org.qedeq.kernel.xml.parser.BasicParser$1 org.qedeq.kernel.xml.parser.SaxEntityResolver org.qedeq.kernel.xml.parser.SaxErrorHandler org.qedeq.kernel.xml.parser.SaxParser org.qedeq.base.io org.qedeq.base.trace org.qedeq.kernel.bo org.qedeq.kernel.se.base.list org.qedeq.kernel.se.common org.qedeq.kernel.xml.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.parser 4 4 0 2 5 0 0.71 0.29 1 org.qedeq.kernel.xml.tracker.LocationFoundException org.qedeq.kernel.xml.tracker.SimpleXPath org.qedeq.kernel.xml.tracker.XPathLocationFinder org.qedeq.kernel.xml.tracker.XPathLocationParser org.qedeq.base.io org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.mapper