|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ConclusionCounter | |
|---|---|
| org.semanticweb.elk.reasoner.saturation.conclusions | |
| Uses of ConclusionCounter in org.semanticweb.elk.reasoner.saturation.conclusions |
|---|
| Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return ConclusionCounter | |
|---|---|
ConclusionCounter |
ConclusionStatistics.getProcessedConclusionCounts()
|
ConclusionCounter |
ConclusionStatistics.getProducedConclusionCounts()
|
ConclusionCounter |
ConclusionStatistics.getUsedConclusionCounts()
|
| Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionCounter | |
|---|---|
void |
ConclusionCounter.add(ConclusionCounter counter)
Adds all counters of the argument to the corresponding counters of this object. |
| Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionCounter | |
|---|---|
ConclusionStatistics(ConclusionCounter producedConclusionCounter,
ConclusionCounter processedConclusionCounts,
ConclusionCounter usedConclusionCounts,
ConclusionTimer conclusionTimers)
|
|
CountingConclusionVisitor(ConclusionCounter counter)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||