public class IncrementalProcessingStatistics extends Object
| Constructor and Description |
|---|
IncrementalProcessingStatistics() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(IncrementalProcessingStatistics stats) |
long |
getChangeInitContextCollectionProcessingTime() |
long |
getChangeInitContextProcessingTime() |
long |
getContextCount() |
long |
getSubsumersPerContextCount() |
void |
print(org.apache.log4j.Logger logger,
org.apache.log4j.Priority level) |
void |
reset() |
void |
startMeasurements() |
public long getContextCount()
public long getSubsumersPerContextCount()
public long getChangeInitContextProcessingTime()
public long getChangeInitContextCollectionProcessingTime()
public void reset()
public void add(IncrementalProcessingStatistics stats)
public void startMeasurements()
public void print(org.apache.log4j.Logger logger,
org.apache.log4j.Priority level)
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.