org.obo.reasoner.impl
Class SimpleTransitivityRule

java.lang.Object
  extended by org.obo.reasoner.impl.AbstractReasonerRule
      extended by 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)