| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.saturation.rules |
| Modifier and Type | Field and Description |
|---|---|
RuleApplicationTimer |
RuleStatistics.ruleTimer |
| Modifier and Type | Method and Description |
|---|---|
void |
RuleApplicationTimer.add(RuleApplicationTimer timer)
Add the values the corresponding values of the given timer
|
| Constructor and Description |
|---|
RuleApplicationTimerVisitor(RuleApplicationVisitor visitor,
RuleApplicationTimer timer)
Creates a new
DecompositionRuleApplicationVisitor that executes
the corresponding methods of the given
DecompositionRuleApplicationVisitor and measures the time spent
within the corresponding methods using the given
RuleApplicationTimer. |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.