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

Packages that use SaturationStatistics
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
 SaturationStatistics ConsistencyChecking.getRuleAndConclusionStatistics()
           
 

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

Constructors in org.semanticweb.elk.reasoner.incremental with parameters of type SaturationStatistics
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
 SaturationStatistics TransitiveReductionFactory.getRuleAndConclusionStatistics()
           
 

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

Methods in org.semanticweb.elk.reasoner.saturation that return SaturationStatistics
 SaturationStatistics ClassExpressionSaturationFactory.getRuleAndConclusionStatistics()
           
 SaturationStatistics ClassExpressionNoInputSaturation.getRuleAndConclusionStatistics()
           
 SaturationStatistics ClassExpressionSaturation.getRuleAndConclusionStatistics()
           
 

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type SaturationStatistics
 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
protected  SaturationStatistics RuleApplicationFactory.BaseEngine.localStatistics
          Local SaturationStatistics created for every worker
 

Methods in org.semanticweb.elk.reasoner.saturation.rules that return SaturationStatistics
 SaturationStatistics RuleApplicationFactory.getSaturationStatistics()
           
 

Constructors in org.semanticweb.elk.reasoner.saturation.rules with parameters of type SaturationStatistics
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
 SaturationStatistics ClassTaxonomyComputation.getRuleAndConclusionStatistics()
           
 SaturationStatistics ClassTaxonomyComputationFactory.getRuleAndConclusionStatistics()
           
 



Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.