org.semanticweb.HermiT.debugger
Class DerivationHistory.Derivation

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationHistory.Derivation
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
DerivationHistory.BaseFact, DerivationHistory.ClashDetection, DerivationHistory.DatatypeChecking, DerivationHistory.DisjunctApplication, DerivationHistory.DLClauseApplication, DerivationHistory.ExistentialExpansion, DerivationHistory.GraphChecking, DerivationHistory.Merging, DerivationHistory.UnknownDatatypeRestrictionDetection
Enclosing class:
DerivationHistory

public abstract static class DerivationHistory.Derivation
extends Object
implements Serializable

See Also:
Serialized Form

Constructor Summary
DerivationHistory.Derivation()
           
 
Method Summary
abstract  int getNumberOfPremises()
           
abstract  DerivationHistory.Fact getPremise(int premiseIndex)
           
 String toString()
           
abstract  String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DerivationHistory.Derivation

public DerivationHistory.Derivation()
Method Detail

toString

public abstract String toString(Prefixes prefixes)

toString

public String toString()
Overrides:
toString in class Object

getNumberOfPremises

public abstract int getNumberOfPremises()

getPremise

public abstract DerivationHistory.Fact getPremise(int premiseIndex)


Copyright © 2012. All Rights Reserved.