Uses of Class
org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter

Packages that use DecompositionRuleApplicationCounter

org.semanticweb.elk.reasoner.saturation.rules

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

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

DecompositionRuleApplicationCounter

RuleStatistics.decompositionRuleCounter

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

void	DecompositionRuleApplicationCounter.add(DecompositionRuleApplicationCounter counter) Add the values the corresponding values of the given counter

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

DecompositionRuleApplicationCounterVisitor(DecompositionRuleApplicationVisitor visitor, DecompositionRuleApplicationCounter counter)
Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and counts the number of invocations of the corresponding methods using the given DecompositionRuleApplicationCounter.