Uses of Class
org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

Packages that use ConclusionStatistics

Package	Description
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions

Uses of ConclusionStatistics in org.semanticweb.elk.reasoner.saturation

Methods in org.semanticweb.elk.reasoner.saturation that return ConclusionStatistics

Modifier and Type	Method and Description
ConclusionStatistics	SaturationStatistics.getConclusionStatistics()

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type ConclusionStatistics

Modifier and Type	Method and Description
static ConclusionVisitor<?>	SaturationUtils.addStatsToConclusionVisitor(ConclusionStatistics localStatistics)

Uses of ConclusionStatistics in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionStatistics

Modifier and Type	Method and Description
void	ConclusionStatistics.add(ConclusionStatistics stats)