org.semanticweb.elk.reasoner.saturation.conclusions

Class Contradiction.ContradictionBackwardLinkRule

java.lang.Object

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

org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction.ContradictionBackwardLinkRule

All Implemented Interfaces:

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

Enclosing class:

Contradiction

public static class Contradiction.ContradictionBackwardLinkRule
extends ModifiableLinkImpl<ModifiableLinkRule<BackwardLink>>
implements ModifiableLinkRule<BackwardLink>

A backward link rule to propagate contradiction through any new backward links

Method Summary

Methods

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

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

getName

public String getName()

Specified by:

getName in interface Rule<BackwardLink>

Returns:

the name of this rule

apply

public void apply(BasicSaturationStateWriter engine,
         BackwardLink link)

Description copied from interface: Rule

Applying the rule to an element within a BasicSaturationStateWriter

Specified by:

apply in interface Rule<BackwardLink>

Parameters:

engine - 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>