|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ConclusionTimer | |
|---|---|
| org.semanticweb.elk.reasoner.saturation.conclusions | |
| Uses of ConclusionTimer in org.semanticweb.elk.reasoner.saturation.conclusions |
|---|
| Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return ConclusionTimer | |
|---|---|
ConclusionTimer |
ConclusionStatistics.getConclusionTimers()
|
| Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionTimer | |
|---|---|
void |
ConclusionTimer.add(ConclusionTimer timer)
Adds all timers of the argument to the corresponding counters of this object. |
| Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionTimer | |
|---|---|
ConclusionStatistics(ConclusionCounter producedConclusionCounter,
ConclusionCounter processedConclusionCounts,
ConclusionCounter usedConclusionCounts,
ConclusionTimer conclusionTimers)
|
|
TimedConclusionVisitor(ConclusionTimer timer,
ConclusionVisitor<?> processor)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||