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

Packages that use ModifiableLinkRule

org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context

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

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

ModifiableLinkRule<BackwardLink>

ContextImpl.getBackwardLinkRuleHead()

Methods in org.semanticweb.elk.reasoner.saturation that return types with arguments of type ModifiableLinkRule

AbstractChain<ModifiableLinkRule<BackwardLink>>

ContextImpl.getBackwardLinkRuleChain()

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

Classes in org.semanticweb.elk.reasoner.saturation.conclusions that implement ModifiableLinkRule

static class	Contradiction.ContradictionBackwardLinkRule A backward link rule to propagate contradiction through any new backward links
static class	ForwardLink.ThisBackwardLinkRule A type of ModifiableLinkRule created for ForwardLinks and stored in the Context where it is produced.
static class	Propagation.ThisBackwardLinkRule

Uses of ModifiableLinkRule in org.semanticweb.elk.reasoner.saturation.context

Methods in org.semanticweb.elk.reasoner.saturation.context that return types with arguments of type ModifiableLinkRule

Chain<ModifiableLinkRule<BackwardLink>>

Context.getBackwardLinkRuleChain()