public class SaturationStatistics extends Object
| Constructor and Description |
|---|
SaturationStatistics() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(SaturationStatistics statistics) |
void |
check(org.apache.log4j.Logger logger) |
ConclusionStatistics |
getConclusionStatistics() |
ContextStatistics |
getContextStatistics() |
IncrementalProcessingStatistics |
getIncrementalProcessingStatistics() |
RuleStatistics |
getRuleStatistics() |
void |
print(org.apache.log4j.Logger logger) |
void |
reset() |
public void reset()
public void add(SaturationStatistics statistics)
public void check(org.apache.log4j.Logger logger)
public void print(org.apache.log4j.Logger logger)
public RuleStatistics getRuleStatistics()
public ConclusionStatistics getConclusionStatistics()
public ContextStatistics getContextStatistics()
public IncrementalProcessingStatistics getIncrementalProcessingStatistics()
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.