public class RuleApplicationCounter extends Object
RuleApplicationVisitor. The fields of the counter correspond to the
methods of RuleApplicationVisitor.| Constructor and Description |
|---|
RuleApplicationCounter() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(RuleApplicationCounter counter)
Add the values the corresponding values of the given counter
|
long |
getTotalRuleAppCount() |
void |
reset()
Reset all counters to zero.
|
public void reset()
public void add(RuleApplicationCounter counter)
counter - public long getTotalRuleAppCount()
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.