|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ConclusionStatistics | |
|---|---|
| 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 | |
|---|---|
ConclusionStatistics |
SaturationStatistics.getConclusionStatistics()
|
| Methods in org.semanticweb.elk.reasoner.saturation with parameters of type ConclusionStatistics | |
|---|---|
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 | |
|---|---|
void |
ConclusionStatistics.add(ConclusionStatistics stats)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||