| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.saturation.rules |
| Modifier and Type | Field and Description |
|---|---|
DecompositionRuleApplicationTimer |
RuleStatistics.decompositionRuleTimer |
| Modifier and Type | Method and Description |
|---|---|
void |
DecompositionRuleApplicationTimer.add(DecompositionRuleApplicationTimer timer)
Add the values the corresponding values of the given timer
|
| Constructor and Description |
|---|
DecompositionRuleApplicationTimerVisitor(DecompositionRuleApplicationVisitor visitor,
DecompositionRuleApplicationTimer 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
DecompositionRuleApplicationTimer. |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.