Uses of Class
org.semanticweb.elk.reasoner.saturation.SaturationStatistics

Packages that use SaturationStatistics

Package	Description
org.semanticweb.elk.reasoner.consistency
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.rules
org.semanticweb.elk.reasoner.taxonomy

Uses of SaturationStatistics in org.semanticweb.elk.reasoner.consistency

Methods in org.semanticweb.elk.reasoner.consistency that return SaturationStatistics

Modifier and Type	Method and Description
SaturationStatistics	ConsistencyChecking.getRuleAndConclusionStatistics()

Uses of SaturationStatistics in org.semanticweb.elk.reasoner.incremental

Constructors in org.semanticweb.elk.reasoner.incremental with parameters of type SaturationStatistics

Constructor and Description
IncrementalChangesInitialization(Collection<ArrayList<Context>> inputs, ChainableRule<Context> changedGlobalRules, Map<IndexedClassExpression,ChainableRule<Context>> changes, SaturationState state, ComputationExecutor executor, SaturationStatistics stageStats, int maxWorkers, ProgressMonitor progressMonitor)

Uses of SaturationStatistics in org.semanticweb.elk.reasoner.reduction

Methods in org.semanticweb.elk.reasoner.reduction that return SaturationStatistics

Modifier and Type	Method and Description
SaturationStatistics	TransitiveReductionFactory.getRuleAndConclusionStatistics()

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

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

Modifier and Type	Method and Description
SaturationStatistics	ClassExpressionSaturationFactory.getRuleAndConclusionStatistics()
SaturationStatistics	ClassExpressionNoInputSaturation.getRuleAndConclusionStatistics()
SaturationStatistics	ClassExpressionSaturation.getRuleAndConclusionStatistics()

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

Modifier and Type	Method and Description
void	SaturationStatistics.add(SaturationStatistics statistics)
static ConclusionVisitor<?>	SaturationUtils.getProcessedConclusionCountingProcessor(ConclusionVisitor<Boolean> conclusionVisitor, SaturationStatistics localStatistics)
static ConclusionVisitor<Boolean>	SaturationUtils.getUsedConclusionCountingProcessor(ConclusionVisitor<Boolean> ruleProcessor, SaturationStatistics localStatistics)

Uses of SaturationStatistics in org.semanticweb.elk.reasoner.saturation.rules

Fields in org.semanticweb.elk.reasoner.saturation.rules declared as SaturationStatistics

Modifier and Type	Field and Description
protected SaturationStatistics	RuleApplicationFactory.BaseEngine.localStatistics Local SaturationStatistics created for every worker

Methods in org.semanticweb.elk.reasoner.saturation.rules that return SaturationStatistics

Modifier and Type	Method and Description
SaturationStatistics	RuleApplicationFactory.getSaturationStatistics()

Constructors in org.semanticweb.elk.reasoner.saturation.rules with parameters of type SaturationStatistics

Constructor and Description
RuleApplicationFactory.BaseEngine(SaturationStatistics localStatistics)
RuleApplicationFactory.DefaultEngine(ExtendedSaturationStateWriter saturationStateWriter, SaturationStatistics localStatistics)

Uses of SaturationStatistics in org.semanticweb.elk.reasoner.taxonomy

Methods in org.semanticweb.elk.reasoner.taxonomy that return SaturationStatistics

Modifier and Type	Method and Description
SaturationStatistics	ClassTaxonomyComputation.getRuleAndConclusionStatistics()
SaturationStatistics	ClassTaxonomyComputationFactory.getRuleAndConclusionStatistics()