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

Packages that use ModifiableLinkRule

Package	Description
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

Modifier and Type	Method and Description
ModifiableLinkRule<BackwardLink>	ContextImpl.getBackwardLinkRuleHead()

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

Modifier and Type	Method and Description
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

Modifier and Type	Class and Description
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

Modifier and Type	Method and Description
Chain<ModifiableLinkRule<BackwardLink>>	Context.getBackwardLinkRuleChain()