org.semanticweb.HermiT.debugger
Class DerivationHistory.ExistentialExpansion

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

public static class DerivationHistory.ExistentialExpansion
extends DerivationHistory.Derivation

See Also:
Serialized Form

Field Summary
protected  DerivationHistory.Atom m_existentialAtom
           
 
Constructor Summary
DerivationHistory.ExistentialExpansion(DerivationHistory.Atom existentialAtom)
           
 
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_existentialAtom

protected final DerivationHistory.Atom m_existentialAtom
Constructor Detail

DerivationHistory.ExistentialExpansion

public DerivationHistory.ExistentialExpansion(DerivationHistory.Atom existentialAtom)
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