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

Packages that use DecompositionRuleApplicationCounter

Package	Description
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

Modifier and Type	Field and Description
DecompositionRuleApplicationCounter	RuleStatistics.decompositionRuleCounter

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

Modifier and Type	Method and Description
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

Constructor and Description
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.