org.semanticweb.HermiT.debugger
Class DerivationHistory.UnknownDatatypeRestrictionDetection

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationHistory.Derivation
      extended by org.semanticweb.HermiT.debugger.DerivationHistory.UnknownDatatypeRestrictionDetection
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DerivationHistory

public static class DerivationHistory.UnknownDatatypeRestrictionDetection
extends DerivationHistory.Derivation

See Also:
Serialized Form

Field Summary
protected  DerivationHistory.Atom[] m_causes
           
 
Constructor Summary
DerivationHistory.UnknownDatatypeRestrictionDetection(DerivationHistory.Atom[] causes)
           
 
Method Summary
 int getNumberOfPremises()
           
 DerivationHistory.Fact getPremise(int premiseIndex)
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_causes

protected final DerivationHistory.Atom[] m_causes
Constructor Detail

DerivationHistory.UnknownDatatypeRestrictionDetection

public DerivationHistory.UnknownDatatypeRestrictionDetection(DerivationHistory.Atom[] causes)
Method Detail

getNumberOfPremises

public int getNumberOfPremises()
Specified by:
getNumberOfPremises in class DerivationHistory.Derivation

getPremise

public DerivationHistory.Fact getPremise(int premiseIndex)
Specified by:
getPremise in class DerivationHistory.Derivation

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in class DerivationHistory.Derivation