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

Packages that use RuleApplicationVisitor

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 RuleApplicationVisitor in org.semanticweb.elk.reasoner.indexing.hierarchy

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

void	IndexedObjectIntersectionOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectComplementOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	DirectIndex.ContextRootInitializationRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedClass.OwlThingContextInitializationRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectUnionOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectSomeValuesFrom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedSubClassOfAxiom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisContradictionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)

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

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

static RuleApplicationVisitor

SaturationUtils.getStatsAwareCompositionRuleAppVisitor(RuleStatistics localStatistics)

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

ExtendedSaturationStateWriter	SaturationState.getExtendedWriter(ContextCreationListener contextCreationListener, ContextModificationListener contextModificationListener, RuleApplicationVisitor ruleAppVisitor, ConclusionVisitor<?> conclusionVisitor, boolean trackNewContextsAsUnsaturated) Creates a new ExtendedSaturationStateWriter for modifying this SaturationState associated with the given ContextCreationListener.
static void	SaturationUtils.initContext(Context context, BasicSaturationStateWriter writer, OntologyIndex index, RuleApplicationVisitor ruleAppVisitor) Applies all initialization rules to the context

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

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

void	ForwardLink.ThisBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	Contradiction.ContradictionBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	Propagation.ThisBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	NegativeSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	BackwardLink.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	PositiveSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
protected void	Subsumer.applyCompositionRules(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)

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

ConclusionApplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)

ConclusionDeapplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)

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

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

class	BasicCompositionRuleApplicationVisitor
class	RuleApplicationCounterVisitor A RuleApplicationVisitor wrapper for a given RuleApplicationVisitor that additionally records the number of invocations of the methods using the given RuleApplicationCounter.
class	RuleApplicationTimerVisitor A RuleApplicationVisitor wrapper for a given RuleApplicationVisitor that additionally records the time spend within methods in the given RuleApplicationTimer.

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

void	LinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, E element)

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

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.

RuleApplicationTimerVisitor(RuleApplicationVisitor visitor, RuleApplicationTimer 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 RuleApplicationTimer.