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

Packages that use RuleApplicationCounter

Package	Description
org.semanticweb.elk.reasoner.saturation.rules

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

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

Modifier and Type	Field and Description
RuleApplicationCounter	RuleStatistics.ruleCounter

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

Modifier and Type	Method and Description
void	RuleApplicationCounter.add(RuleApplicationCounter counter) Add the values the corresponding values of the given counter

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

Constructor and Description
RuleApplicationCounterVisitor(RuleApplicationVisitor visitor, RuleApplicationCounter 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 RuleApplicationCounter.