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

Packages that use RuleApplicationCounter

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

RuleApplicationCounter

RuleStatistics.ruleCounter

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

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

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.