org.semanticweb.elk.reasoner.saturation.rules
Interface ModifiableLinkRule<E>

All Superinterfaces:

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

All Known Implementing Classes:

Contradiction.ContradictionBackwardLinkRule, ForwardLink.ThisBackwardLinkRule, Propagation.ThisBackwardLinkRule

public interface ModifiableLinkRule<E>
extends LinkRule<E>, ModifiableLink<ModifiableLinkRule<E>>

Method Summary

Methods inherited from interface org.semanticweb.elk.reasoner.saturation.rules.LinkRule

accept

Methods inherited from interface org.semanticweb.elk.reasoner.saturation.rules.Rule

apply, getName

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