org.obo.reasoner.impl
Class SimpleTransitivityRule

java.lang.Object
  org.obo.reasoner.impl.AbstractReasonerRule
      org.obo.reasoner.impl.SimpleTransitivityRule

All Implemented Interfaces:

ReasonerRule

public class SimpleTransitivityRule
extends AbstractReasonerRule

Field Summary

protected static org.apache.log4j.Logger	logger
protected static TransitivityExplanation	scratchExp
protected static Link	temp

Fields inherited from class org.obo.reasoner.impl.AbstractReasonerRule

allowIntersections, ruleTime

Constructor Summary

SimpleTransitivityRule()

Method Summary

protected TransitivityExplanation	createExplanation(ReasonedLinkDatabase reasoner, Link temp, Link link, Link gpLink)
java.util.Collection<Explanation>	doGetImplications(ReasonedLinkDatabase reasoner, Link link) on adding a new link, check for entailments
void	init(ReasonedLinkDatabase reasoner)
protected void	pushLinkDown(ReasonedLinkDatabase reasoner, Link link, java.util.Collection<Explanation> out, java.util.Collection<Link> seenem)
java.lang.String	toString()

Methods inherited from class org.obo.reasoner.impl.AbstractReasonerRule

createLink, end, getImplications, install, setAllowIntersections, uninstall

Methods inherited from class java.lang.Object

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

Field Detail

logger

protected static final org.apache.log4j.Logger logger

temp

protected static Link temp

scratchExp

protected static TransitivityExplanation scratchExp

Constructor Detail

SimpleTransitivityRule

public SimpleTransitivityRule()

Method Detail

init

public void init(ReasonedLinkDatabase reasoner)

Specified by:

init in interface ReasonerRule

Overrides:

init in class AbstractReasonerRule

doGetImplications

public java.util.Collection<Explanation> doGetImplications(ReasonedLinkDatabase reasoner,
                                                           Link link)

Description copied from class: AbstractReasonerRule

on adding a new link, check for entailments

Specified by:

doGetImplications in class AbstractReasonerRule

Returns:

createExplanation

protected TransitivityExplanation createExplanation(ReasonedLinkDatabase reasoner,
                                                    Link temp,
                                                    Link link,
                                                    Link gpLink)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

pushLinkDown

protected void pushLinkDown(ReasonedLinkDatabase reasoner,
                            Link link,
                            java.util.Collection<Explanation> out,
                            java.util.Collection<Link> seenem)