Loading...
Class Coverage    
AbstractModuleVisitor AbstractModuleVisitor 1.0 (100%)
AbstractState AbstractState 1.0 (100%)
AddVo AddVo 1.0 (100%)
AuthorListVo AuthorListVo 1.0 (100%)
AuthorVo AuthorVo 1.0 (100%)
AxiomVo AxiomVo 1.0 (100%)
ChangedRuleListVo ChangedRuleListVo 1.0 (100%)
ChangedRuleVo ChangedRuleVo 1.0 (100%)
ChapterListVo ChapterListVo 1.0 (100%)
ChapterVo ChapterVo 1.0 (100%)
ConclusionVo ConclusionVo 1.0 (100%)
ConditionalProofVo ConditionalProofVo 1.0 (100%)
ConfigAccess ConfigAccess 0.9807692 (98.1%)
DefaultAtom DefaultAtom 1.0 (100%)
DefaultContextChecker DefaultContextChecker 1.0 (100%)
DefaultElementList DefaultElementList 1.0 (100%)
DefaultModuleAddress DefaultModuleAddress 0.92156863 (92.2%)
DependencyState DependencyState 1.0 (100%)
ElementSet ElementSet 1.0 (100%)
ExistentialVo ExistentialVo 1.0 (100%)
FormalProofLineListVo FormalProofLineListVo 1.0 (100%)
FormalProofLineVo FormalProofLineVo 1.0 (100%)
FormalProofListVo FormalProofListVo 1.0 (100%)
FormalProofVo FormalProofVo 1.0 (100%)
FormallyProvedState FormallyProvedState 1.0 (100%)
FormulaVo FormulaVo 1.0 (100%)
FunctionDefinitionVo FunctionDefinitionVo 1.0 (100%)
HeaderVo HeaderVo 1.0 (100%)
HypothesisVo HypothesisVo 1.0 (100%)
IllegalModuleDataException IllegalModuleDataException 1.0 (100%)
ImportListVo ImportListVo 1.0 (100%)
ImportVo ImportVo 1.0 (100%)
InitialFunctionDefinitionVo InitialFunctionDefinitionVo 1.0 (100%)
InitialPredicateDefinitionVo InitialPredicateDefinitionVo 1.0 (100%)
InterruptException InterruptException 1.0 (100%)
LatexList2Text LatexList2Text 0.9830508 (98.3%)
LatexListVo LatexListVo 1.0 (100%)
LatexVo LatexVo 1.0 (100%)
LinkListVo LinkListVo 1.0 (100%)
LiteratureItemListVo LiteratureItemListVo 1.0 (100%)
LiteratureItemVo LiteratureItemVo 1.0 (100%)
LoadingImportsState LoadingImportsState 1.0 (100%)
LoadingState LoadingState 1.0 (100%)
LocationListVo LocationListVo 1.0 (100%)
LocationVo LocationVo 1.0 (100%)
ModuleContext ModuleContext 1.0 (100%)
ModuleDataException ModuleDataException 0.9756098 (97.6%)
ModusPonensVo ModusPonensVo 1.0 (100%)
NodeVo NodeVo 1.0 (100%)
PredicateDefinitionVo PredicateDefinitionVo 1.0 (100%)
ProofListVo ProofListVo 1.0 (100%)
ProofVo ProofVo 1.0 (100%)
PropositionVo PropositionVo 1.0 (100%)
QedeqConfig QedeqConfig 0.97590363 (97.6%)
QedeqException QedeqException 0.8 (80%)
QedeqNotNullTraverser QedeqNotNullTraverser 0.956245 (95.6%)
QedeqNumbers QedeqNumbers 1.0 (100%)
QedeqVo QedeqVo 1.0 (100%)
RenameVo RenameVo 1.0 (100%)
RuleKey RuleKey 1.0 (100%)
RuleVo RuleVo 1.0 (100%)
SectionListVo SectionListVo 1.0 (100%)
SectionVo SectionVo 1.0 (100%)
SourceFileException SourceFileException 0.9130435 (91.3%)
SourceFileExceptionList SourceFileExceptionList 0.9896907 (99%)
SpecificationVo SpecificationVo 1.0 (100%)
SubsectionListVo SubsectionListVo 1.0 (100%)
SubsectionVo SubsectionVo 1.0 (100%)
SubstFreeVo SubstFreeVo 1.0 (100%)
SubstFuncVo SubstFuncVo 1.0 (100%)
SubstPredVo SubstPredVo 1.0 (100%)
TermVo TermVo 1.0 (100%)
UniversalVo UniversalVo 1.0 (100%)
UsedByListVo UsedByListVo 1.0 (100%)
WellFormedState WellFormedState 1.0 (100%)