org.obo.reasoner.impl
Class TransitivityExplanation

java.lang.Object
  extended by org.obo.reasoner.impl.AbstractExplanation
      extended by org.obo.reasoner.impl.TransitivityExplanation
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, Explanation

public class TransitivityExplanation
extends AbstractExplanation

See Also:
Serialized Form

Field Summary
protected  Link directLink
           
protected  Link extensionLink
           
protected static org.apache.log4j.Logger logger
           
 
Fields inherited from class org.obo.reasoner.impl.AbstractExplanation
explainedLink, supportingLinks
 
Constructor Summary
TransitivityExplanation()
           
TransitivityExplanation(Link directLink, Link extensionLink)
           
TransitivityExplanation(Link explainedLink, Link directLink, Link extensionLink)
           
 
Method Summary
 void addEvidence(Link link)
           
 Link getDirectLink()
           
 java.util.Collection<Link> getEvidence()
           
 ExplanationType getExplanationType()
           
 Link getExtensionLink()
           
 boolean removeEvidence(Link link)
           
 java.lang.String toString()
           
 
Methods inherited from class org.obo.reasoner.impl.AbstractExplanation
equals, getDesc, getExplainedLink, getExplainedObject, hashCode, setDesc, setExplainedLink
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

logger

protected static final org.apache.log4j.Logger logger

directLink

protected Link directLink

extensionLink

protected Link extensionLink
Constructor Detail

TransitivityExplanation

public TransitivityExplanation(Link explainedLink,
                               Link directLink,
                               Link extensionLink)

TransitivityExplanation

public TransitivityExplanation()

TransitivityExplanation

public TransitivityExplanation(Link directLink,
                               Link extensionLink)
Method Detail

getDirectLink

public Link getDirectLink()

getExtensionLink

public Link getExtensionLink()

getEvidence

public java.util.Collection<Link> getEvidence()
Specified by:
getEvidence in interface Explanation
Overrides:
getEvidence in class AbstractExplanation
Returns:

addEvidence

public void addEvidence(Link link)
Specified by:
addEvidence in interface Explanation
Overrides:
addEvidence in class AbstractExplanation

removeEvidence

public boolean removeEvidence(Link link)
Specified by:
removeEvidence in interface Explanation
Overrides:
removeEvidence in class AbstractExplanation
Returns:
true if removing the link invalidated the explanation

getExplanationType

public ExplanationType getExplanationType()

toString

public java.lang.String toString()
Overrides:
toString in class AbstractExplanation