org.semanticweb.elk.reasoner.saturation.conclusions

Class Propagation.ThisBackwardLinkRule

java.lang.Object

org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl<ModifiableLinkRule<BackwardLink>>

org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.ThisBackwardLinkRule

All Implemented Interfaces:

LinkRule<BackwardLink>, ModifiableLinkRule<BackwardLink>, Rule<BackwardLink>, Link<LinkRule<BackwardLink>>, ModifiableLink<ModifiableLinkRule<BackwardLink>>

Enclosing class:

Propagation

public static class Propagation.ThisBackwardLinkRule
extends ModifiableLinkImpl<ModifiableLinkRule<BackwardLink>>
implements ModifiableLinkRule<BackwardLink>

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	apply(BasicSaturationStateWriter writer, BackwardLink link) Applying the rule to an element within a BasicSaturationStateWriter
String	getName()
Multimap<IndexedPropertyChain,IndexedClassExpression>	getPropagationsByObjectProperty()

Methods inherited from class org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl

next, setNext

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.elk.util.collections.chains.Link

next

Methods inherited from interface org.semanticweb.elk.util.collections.chains.ModifiableLink

next, setNext

Method Detail

getPropagationsByObjectProperty

public Multimap<IndexedPropertyChain,IndexedClassExpression> getPropagationsByObjectProperty()

getName

public String getName()

Specified by:

getName in interface Rule<BackwardLink>

Returns:

the name of this rule

apply

public void apply(BasicSaturationStateWriter writer,
         BackwardLink link)

Description copied from interface: Rule

Applying the rule to an element within a BasicSaturationStateWriter

Specified by:

apply in interface Rule<BackwardLink>

Parameters:

writer - a BasicSaturationStateWriter which could be changed as a result of this rule's application

link - the element to which the rule is applied

accept

public void accept(RuleApplicationVisitor visitor,
          BasicSaturationStateWriter writer,
          BackwardLink backwardLink)

Specified by:

accept in interface LinkRule<BackwardLink>