Clover Coverage Cloud Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
App    Test   Results   Clouds
Overview   Package   File
    FRAMES   NO FRAMES     
186   699   133   1.72
34   488   0.72   108
108   1   1.23  
1    
 
org.qedeq.kernel.bo
AsciiMathParser BasicKernel BasicKernel.LazyHolderTimeoutMethods ClassOperatorAlreadyExistsException ControlVisitor DefaultExistenceChecker DefaultInternalKernelServices DefaultKernelQedeqBo DynamicDirectInterpreter DynamicHeuristicCheckerExecutor DynamicHeuristicCheckerPlugin DynamicModel Element2LatexImpl Element2LatexImpl.Funcon Element2LatexImpl.Predcon Element2LatexImpl.QuantorIntersection Element2LatexImpl.QuantorUnion Element2LatexImpl.Var ElementCheckException Entity EverythingExists FormalProofCheckerExecutor FormalProofCheckerPlugin FormulaCheckException FormulaCheckerImpl FormulaUtility FourDynamicModel Function FunctionConstant FunctionKey FunctionVariableInterpreter HeuristicException IdentityOperatorAlreadyExistsException KernelContext KernelModuleReferenceList KernelNodeBo KernelQedeqBoSet KernelQedeqBoStorage Latex2UnicodeParser Latex2UnicodeSpecials LatexListDataException LatexMathParser LoadDirectlyRequiredModulesPlugin LoadRequiredModuleException LoadRequiredModulesExecutor LoadRequiredModulesPlugin LogListenerImpl LogicalCheckException LogicalCheckExceptionList MathParser MementoTextInput ModuleArbiter ModuleConstantsExistenceCheckerImpl ModuleEventLog ModuleLabels ModuleLabelsCreator ModuleLogListenerImpl ModusPonensBo Operator ParserException PluginManager PluginResultManager PluginResults Predicate PredicateConstant PredicateKey PredicateVariableInterpreter ProofCheckException ProofChecker0Impl ProofChecker1Impl ProofChecker2Impl ProofCheckerFactoryImpl ProofFinderImpl ProofFinderImpl.SubstituteBase ProofFinderUtility ProofLineData Qedeq2LatexExecutor Qedeq2LatexPlugin Qedeq2UnicodeTextExecutor Qedeq2UnicodeTextPlugin Qedeq2UnicodeVisitor Qedeq2Utf8Executor Qedeq2Utf8Plugin QedeqBoDuplicateLanguageChecker QedeqLog QedeqVoBuilder ReferenceLinkException RuntimeVisitorException SeparatorNotFoundException ServiceCallImpl ServiceProcessImpl ServiceProcessManager ServiceResultImpl SimpleMathParser SimpleProofFinderExecutor SimpleProofFinderPlugin SixDynamicModel StateManager SubjectVariable SubjectVariableAllocation SubjectVariableInterpreter SubstPredBo Term TermCheckException ThreeDynamicModel TraceListener UnaryDynamicModel WellFormedCheckerExecutor WellFormedCheckerPlugin
 
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .