|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
QedeqNumbers | Line # 9 | 76 | 36 | 100% |
1.0
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(125) | |||
Result | |||
0.87931037
|
org.qedeq.kernel.se.visitor.QedeqNumbersTest.testGetVisitPercentage
![]() |
1 PASS | |
0.7758621
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
![]() |
1 PASS | |
0.7758621
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq5
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration4
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
![]() |
1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
![]() |
1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration2
![]() |
1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
![]() |
1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
![]() |
1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
![]() |
1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq4
![]() |
1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
![]() |
1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
![]() |
1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
![]() |
1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
![]() |
1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
![]() |
1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
![]() |
1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
![]() |
1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
![]() |
1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1
![]() |
1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq6
![]() |
1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
![]() |
1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
![]() |
1 PASS | |
0.6810345
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
![]() |
1 PASS | |
0.6810345
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
![]() |
1 PASS | |
0.6810345
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
![]() |
1 PASS | |
0.6810345
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative02
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq1
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative02
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
![]() |
1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
![]() |
1 PASS | |
0.62931037
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
![]() |
1 PASS | |
0.62931037
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
![]() |
1 PASS | |
0.61206895
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
![]() |
1 PASS | |
0.6034483
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1b
![]() |
1 PASS | |
0.6034483
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
![]() |
1 PASS | |
0.6034483
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3c
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration7
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testProof_003
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
![]() |
1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3b
![]() |
1 PASS | |
0.57758623
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
![]() |
1 PASS | |
0.57758623
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
![]() |
1 PASS | |
0.57758623
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
![]() |
1 PASS | |
0.5689655
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
![]() |
1 PASS | |
0.5603448
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq
![]() |
1 PASS | |
0.5344828
|
org.qedeq.kernel.se.visitor.QedeqNumbersTest.testHashCodeAndEquals
![]() |
1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
![]() |
1 PASS | |
0.5258621
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
![]() |
1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
![]() |
1 PASS | |
0.5258621
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
![]() |
1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
![]() |
1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
![]() |
1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
![]() |
1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
![]() |
1 PASS | |
0.51724136
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
![]() |
1 PASS | |
0.51724136
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration5
![]() |
1 PASS | |
0.51724136
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration6
![]() |
1 PASS | |
0.51724136
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
![]() |
1 PASS | |
0.35344827
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath09
![]() |
1 PASS | |
0.35344827
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath06
![]() |
1 PASS | |
0.35344827
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath07
![]() |
1 PASS | |
0.3448276
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06
![]() |
1 PASS | |
0.3448276
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq2
![]() |
1 PASS | |
0.3448276
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq3
![]() |
1 PASS | |
0.3448276
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05
![]() |
1 PASS | |
0.31896552
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath08
![]() |
1 PASS | |
0.30172414
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath05
![]() |
1 PASS | |
0.30172414
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath04
![]() |
1 PASS | |
0.30172414
|
org.qedeq.kernel.se.visitor.QedeqNumbersTest.testConstructor
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_02
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09c
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_07
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09d
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_05
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_03
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09b
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_04
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_10
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_01
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_08
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_11
![]() |
1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_06
![]() |
1 PASS | |
0.1724138
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath02
![]() |
1 PASS | |
0.060344826
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testAcceptors1
![]() |
1 PASS | |
0.04310345
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testAcceptors2
![]() |
1 PASS | |
0.02586207
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath01
![]() |
1 PASS | |
0.02586207
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath03
![]() |
1 PASS | |
0.02586207
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq2
![]() |
1 PASS | |
1 | package org.qedeq.kernel.se.visitor; | |
2 | ||
3 | ||
4 | /** | |
5 | * Contains various counter values for a {@link org.qedeq.kernel.se.base.module.Qedeq}. | |
6 | * | |
7 | * @author Michael Meyling | |
8 | */ | |
9 | public class QedeqNumbers { | |
10 | ||
11 | /** Number of imports. */ | |
12 | private int imports; | |
13 | ||
14 | /** Number of chapters. */ | |
15 | private int chapters; | |
16 | ||
17 | /** Number of subsections (within current chapter). */ | |
18 | private int sections; | |
19 | ||
20 | /** Number of subsections (within current section). */ | |
21 | private int subsectionsAndNodes; | |
22 | ||
23 | /** Import we currently work on (or lastly visited). */ | |
24 | private int importNumber; | |
25 | ||
26 | /** Chapter numbering currently on? */ | |
27 | private boolean chapterNumbering; | |
28 | ||
29 | /** Chapter number the node is within. */ | |
30 | private int chapterNumber; | |
31 | ||
32 | /** Absolute chapter number the node is within. Includes chapters with no numbers. */ | |
33 | private int absoluteChapterNumber; | |
34 | ||
35 | /** Section numbering currently on? */ | |
36 | private boolean sectionNumbering; | |
37 | ||
38 | /** Section number the node is within. */ | |
39 | private int sectionNumber; | |
40 | ||
41 | /** Absolute section number the node is within. Includes sections with no numbers. */ | |
42 | private int absoluteSectionNumber; | |
43 | ||
44 | /** Sub section number for section. */ | |
45 | private int subsectionNumber; | |
46 | ||
47 | /** Node number the node for section. */ | |
48 | private int nodeNumber; | |
49 | ||
50 | /** Axioms before node (including this one). */ | |
51 | private int axiomNumber; | |
52 | ||
53 | /** Function definitions before node (including this one). */ | |
54 | private int functionDefinitionNumber; | |
55 | ||
56 | /** Predicate definitions before node (including this one). */ | |
57 | private int predicateDefinitionNumber; | |
58 | ||
59 | /** Propositions before node (including this one). */ | |
60 | private int propositionNumber; | |
61 | ||
62 | /** Rule definitions before node (including this one). */ | |
63 | private int ruleNumber; | |
64 | ||
65 | /** No further numbering will be done. */ | |
66 | private boolean finished; | |
67 | ||
68 | /** | |
69 | * Constructor. | |
70 | * | |
71 | * @param imports Number of imported QEDEQ modules. | |
72 | * @param chapters Number of chapters in QEDEQ module. | |
73 | */ | |
74 | 137745 |
![]() |
75 | 137745 | this.imports = imports; |
76 | 137745 | this.chapters = chapters; |
77 | } | |
78 | ||
79 | /** | |
80 | * Copy constructor. | |
81 | * | |
82 | * @param original Original to copy values from. | |
83 | */ | |
84 | 94600 |
![]() |
85 | 94600 | imports = original.imports; |
86 | 94600 | chapters = original.chapters; |
87 | 94600 | sections = original.sections; |
88 | 94600 | subsectionsAndNodes = original.subsectionsAndNodes; |
89 | 94600 | importNumber = original.importNumber; |
90 | 94600 | chapterNumbering = original.chapterNumbering; |
91 | 94600 | chapterNumber = original.chapterNumber; |
92 | 94600 | absoluteChapterNumber = original.absoluteChapterNumber; |
93 | 94600 | sectionNumbering = original.sectionNumbering; |
94 | 94600 | nodeNumber = original.nodeNumber; |
95 | 94600 | sectionNumber = original.sectionNumber; |
96 | 94600 | absoluteSectionNumber = original.absoluteSectionNumber; |
97 | 94600 | subsectionNumber = original.subsectionNumber; |
98 | 94600 | axiomNumber = original.axiomNumber; |
99 | 94600 | functionDefinitionNumber = original.functionDefinitionNumber; |
100 | 94600 | predicateDefinitionNumber = original.predicateDefinitionNumber; |
101 | 94600 | propositionNumber = original.propositionNumber; |
102 | 94600 | ruleNumber = original.ruleNumber; |
103 | 94600 | finished = original.finished; |
104 | } | |
105 | ||
106 | /** | |
107 | * Last import number. | |
108 | * | |
109 | * @return Import number. | |
110 | */ | |
111 | 1518 |
![]() |
112 | 1518 | return importNumber; |
113 | } | |
114 | ||
115 | /** | |
116 | * Increase import number. | |
117 | */ | |
118 | 1585 |
![]() |
119 | 1585 | importNumber++; |
120 | } | |
121 | ||
122 | /** | |
123 | * Chapter number the node is within. | |
124 | * | |
125 | * @return Chapter number. | |
126 | */ | |
127 | 360010 |
![]() |
128 | 360010 | return chapterNumber; |
129 | } | |
130 | ||
131 | /** | |
132 | * Increase chapter number. | |
133 | * | |
134 | * @param sections Number of subsections in new chapter. | |
135 | * @param chapterNumbering Chapter numbering on? | |
136 | */ | |
137 | 242331 |
![]() |
138 | 242331 | this.chapterNumbering = chapterNumbering; |
139 | 242331 | absoluteChapterNumber++; |
140 | 242331 | if (chapterNumbering) { |
141 | 149884 | chapterNumber++; |
142 | } | |
143 | 242331 | this.sections = sections; |
144 | 242331 | this.subsectionsAndNodes = 0; |
145 | 242331 | this.sectionNumber = 0; |
146 | 242331 | this.absoluteSectionNumber = 0; |
147 | 242331 | this.sectionNumbering = true; |
148 | 242331 | this.subsectionNumber = 0; |
149 | 242331 | this.nodeNumber = 0; |
150 | } | |
151 | ||
152 | /** | |
153 | * Is chapter numbering currently on? | |
154 | * | |
155 | * @return Chapter numbering is on. | |
156 | */ | |
157 | 452546 |
![]() |
158 | 452546 | return chapterNumbering; |
159 | } | |
160 | ||
161 | /** | |
162 | * Absolute chapter number the node is within. This includes chapters with no numbers. | |
163 | * | |
164 | * @return Chapter number. | |
165 | */ | |
166 | 559 |
![]() |
167 | 559 | return absoluteChapterNumber; |
168 | } | |
169 | ||
170 | /** | |
171 | * Section number the node is within. | |
172 | * | |
173 | * @return Section number. | |
174 | */ | |
175 | 210004 |
![]() |
176 | 210004 | return sectionNumber; |
177 | } | |
178 | ||
179 | /** | |
180 | * Increase chapter number. | |
181 | * | |
182 | * @param subsectionsAndNodes Number of subsections and nodes for current section. | |
183 | * @param sectionNumbering Should this section be numbered? | |
184 | */ | |
185 | 201401 |
![]() |
186 | final boolean sectionNumbering) { | |
187 | 201401 | this.subsectionsAndNodes = subsectionsAndNodes; |
188 | 201401 | this.sectionNumbering = sectionNumbering; |
189 | 201401 | absoluteSectionNumber++; |
190 | 201401 | if (sectionNumbering) { |
191 | 200956 | sectionNumber++; |
192 | } | |
193 | 201401 | subsectionNumber = 0; |
194 | 201401 | nodeNumber = 0; |
195 | } | |
196 | ||
197 | /** | |
198 | * Absolute section number the node is within. This includes sections with no numbers. | |
199 | * | |
200 | * @return Section number. | |
201 | */ | |
202 | 2129 |
![]() |
203 | 2129 | return absoluteSectionNumber; |
204 | } | |
205 | ||
206 | /** | |
207 | * Is section numbering currently on? | |
208 | * | |
209 | * @return Section numbering is on. | |
210 | */ | |
211 | 210924 |
![]() |
212 | 210924 | return sectionNumbering; |
213 | } | |
214 | ||
215 | /** | |
216 | * Sub section number within section. | |
217 | * | |
218 | * @return Sub section number. | |
219 | */ | |
220 | 22727 |
![]() |
221 | 22727 | return subsectionNumber; |
222 | } | |
223 | ||
224 | /** | |
225 | * Increase subsection number. | |
226 | */ | |
227 | 11181 |
![]() |
228 | 11181 | subsectionNumber++; |
229 | } | |
230 | ||
231 | /** | |
232 | * Node number within section. | |
233 | * | |
234 | * @return Node number. | |
235 | */ | |
236 | 13632 |
![]() |
237 | 13632 | return nodeNumber; |
238 | } | |
239 | ||
240 | /** | |
241 | * Increase node number. | |
242 | */ | |
243 | 338628 |
![]() |
244 | 338628 | nodeNumber++; |
245 | } | |
246 | ||
247 | /** | |
248 | * Get number of axioms before node (including this one). | |
249 | * | |
250 | * @return Number of axioms before node (including this one). | |
251 | */ | |
252 | 14536 |
![]() |
253 | 14536 | return axiomNumber; |
254 | } | |
255 | ||
256 | /** | |
257 | * Increase number of axioms before node (including this one). | |
258 | */ | |
259 | 15477 |
![]() |
260 | 15477 | axiomNumber++; |
261 | } | |
262 | ||
263 | /** | |
264 | * Get number of function definitions before node (including this one). | |
265 | * | |
266 | * @return Number function definitions before node (including this one). | |
267 | */ | |
268 | 18515 |
![]() |
269 | 18515 | return functionDefinitionNumber; |
270 | } | |
271 | ||
272 | /** | |
273 | * Increase number of function definitions before node (including this one). | |
274 | */ | |
275 | 8924 |
![]() |
276 | 8924 | functionDefinitionNumber++; |
277 | } | |
278 | ||
279 | /** | |
280 | * Get number of predicate definitions before node (including this one). | |
281 | * | |
282 | * @return Number of predicate definitions before node (including this one). | |
283 | */ | |
284 | 5237 |
![]() |
285 | 5237 | return predicateDefinitionNumber; |
286 | } | |
287 | ||
288 | /** | |
289 | * Increase number of predicate definitions before node (including this one). | |
290 | */ | |
291 | 7189 |
![]() |
292 | 7189 | predicateDefinitionNumber++; |
293 | } | |
294 | ||
295 | /** | |
296 | * Get number of Propositions before node (including this one). | |
297 | * | |
298 | * @return Get number of Propositions before node (including this one). | |
299 | */ | |
300 | 68324 |
![]() |
301 | 68324 | return propositionNumber; |
302 | } | |
303 | ||
304 | /** | |
305 | * Increase number of predicate definitions before node (including this one). | |
306 | */ | |
307 | 69234 |
![]() |
308 | 69234 | propositionNumber++; |
309 | } | |
310 | ||
311 | /** | |
312 | * Get number of rule definitions before node (including this one). | |
313 | * | |
314 | * @return Number of rule definitions before node (including this one). | |
315 | */ | |
316 | 8137 |
![]() |
317 | 8137 | return ruleNumber; |
318 | } | |
319 | ||
320 | /** | |
321 | * Increase number of rule definitions before node (including this one). | |
322 | */ | |
323 | 9944 |
![]() |
324 | 9944 | ruleNumber++; |
325 | } | |
326 | ||
327 | /** | |
328 | * Is there nothing more to be numbered? | |
329 | * | |
330 | * @return There will be no more number changes. | |
331 | */ | |
332 | 26050 |
![]() |
333 | 26050 | return finished; |
334 | } | |
335 | ||
336 | /** | |
337 | * Set if numbering has ended. | |
338 | * | |
339 | * @param finished Will there be no more number changes? | |
340 | */ | |
341 | 1913 |
![]() |
342 | 1913 | this.finished = finished; |
343 | } | |
344 | ||
345 | /** | |
346 | * Get calculated visit percentage. | |
347 | * This is a monotonically nondecreasing visit function. | |
348 | * | |
349 | * @return Value between 0 and 100. | |
350 | */ | |
351 | 78139 |
![]() |
352 | 78139 | if (finished) { |
353 | 6 | return 100; |
354 | } | |
355 | 78133 | double result = (double) (importNumber) / (imports + 1) / (chapters + 3); |
356 | 78133 | result += (double) (absoluteChapterNumber) / (chapters + 3); |
357 | 78133 | result += (double) (absoluteSectionNumber) / (sections + 2) / (chapters + 3); |
358 | 78133 | result += (double) (subsectionNumber + nodeNumber) |
359 | / (subsectionsAndNodes + 2) / (sections + 2) / (chapters + 3); | |
360 | 78133 | return 100 * result; |
361 | } | |
362 | ||
363 | 52108 |
![]() |
364 | 52108 | if (!(compare instanceof QedeqNumbers)) { |
365 | 6 | return false; |
366 | } | |
367 | 52102 | final QedeqNumbers other = (QedeqNumbers) compare; |
368 | 52102 | return imports == other.imports && importNumber == other.importNumber |
369 | && chapterNumbering == other.chapterNumbering | |
370 | && absoluteChapterNumber == other.absoluteChapterNumber | |
371 | && sectionNumbering == other.sectionNumbering | |
372 | && sections == other.sections | |
373 | && absoluteSectionNumber == other.absoluteSectionNumber | |
374 | && subsectionNumber == other.subsectionNumber | |
375 | && nodeNumber == other.nodeNumber | |
376 | && axiomNumber == other.axiomNumber | |
377 | && propositionNumber == other.propositionNumber | |
378 | && predicateDefinitionNumber == other.predicateDefinitionNumber | |
379 | && functionDefinitionNumber == other.functionDefinitionNumber | |
380 | && ruleNumber == other.ruleNumber; | |
381 | } | |
382 | ||
383 | 104204 |
![]() |
384 | 104204 | return imports ^ (importNumber * 4) |
385 | ^ (chapters * 16) ^ (absoluteChapterNumber * 64) | |
386 | ^ (sections * 256) ^ (absoluteSectionNumber * 1024) | |
387 | ^ (subsectionsAndNodes * 4096) ^ (nodeNumber * 16384) ^ (subsectionNumber * 65536) | |
388 | ^ (axiomNumber * 262144) ^ (propositionNumber * 1048576) | |
389 | ^ (predicateDefinitionNumber * 4194304) | |
390 | ^ (functionDefinitionNumber * 16777216) ^ (ruleNumber * 67108864); | |
391 | } | |
392 | ||
393 | 52088 |
![]() |
394 | 52088 | return "(" + importNumber + "/" + imports + " I) " |
395 | + "(" + absoluteChapterNumber + "/" + chapters + " C) " | |
396 | + "(" + absoluteSectionNumber + "/" + sections + " S) " | |
397 | + "(" + (subsectionNumber + nodeNumber) + "/" + subsectionsAndNodes + ")"; | |
398 | } | |
399 | ||
400 | } |
|