Uses of Interface
org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor

Packages that use DecompositionRuleApplicationVisitor

Package	Description
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.rules

Uses of DecompositionRuleApplicationVisitor in org.semanticweb.elk.reasoner.indexing.hierarchy

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type DecompositionRuleApplicationVisitor

Modifier and Type	Method and Description
void	IndexedObjectIntersectionOf.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedObjectComplementOf.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedClass.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedObjectUnionOf.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedObjectSomeValuesFrom.accept(DecompositionRuleApplicationVisitor visitor, Context context)
abstract void	IndexedClassExpression.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedIndividual.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedDataHasValue.accept(DecompositionRuleApplicationVisitor visitor, Context context)

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

Methods in org.semanticweb.elk.reasoner.saturation that return DecompositionRuleApplicationVisitor

Modifier and Type	Method and Description
static DecompositionRuleApplicationVisitor	SaturationUtils.getStatsAwareDecompositionRuleAppVisitor(DecompositionRuleApplicationVisitor decompRuleAppVisitor, RuleStatistics localStatistics)

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

Modifier and Type	Method and Description
static DecompositionRuleApplicationVisitor	SaturationUtils.getStatsAwareDecompositionRuleAppVisitor(DecompositionRuleApplicationVisitor decompRuleAppVisitor, RuleStatistics localStatistics)

Uses of DecompositionRuleApplicationVisitor in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type DecompositionRuleApplicationVisitor

Modifier and Type	Method and Description
void	PositiveSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
void	NegativeSubsumer.applyDecompositionRules(Context context, DecompositionRuleApplicationVisitor decompVisitor)

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type DecompositionRuleApplicationVisitor

Constructor and Description
ConclusionApplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
ConclusionDeapplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)

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

Classes in org.semanticweb.elk.reasoner.saturation.rules that implement DecompositionRuleApplicationVisitor

Modifier and Type	Class and Description
class	BackwardDecompositionRuleApplicationVisitor Used for decomposing class expressions when rules are applied backwards
class	DecompositionRuleApplicationCounterVisitor A DecompositionRuleApplicationVisitor wrapper for a given DecompositionRuleApplicationVisitor that additionally records the number of invocations of the methods using the given DecompositionRuleApplicationCounter.
class	DecompositionRuleApplicationTimerVisitor
class	ForwardDecompositionRuleApplicationVisitor Used for decomposing class expressions when rules are applied forward

Methods in org.semanticweb.elk.reasoner.saturation.rules that return DecompositionRuleApplicationVisitor

Modifier and Type	Method and Description
protected abstract DecompositionRuleApplicationVisitor	RuleApplicationFactory.BaseEngine.getDecompositionRuleApplicationVisitor()
protected DecompositionRuleApplicationVisitor	RuleApplicationFactory.DefaultEngine.getDecompositionRuleApplicationVisitor()
protected DecompositionRuleApplicationVisitor	RuleDeapplicationFactory.DeapplicationEngine.getDecompositionRuleApplicationVisitor()

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

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.
DecompositionRuleApplicationTimerVisitor(DecompositionRuleApplicationVisitor visitor, DecompositionRuleApplicationTimer timer) Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and measures the time spent within the corresponding methods using the given DecompositionRuleApplicationTimer.