org.semanticweb.HermiT.debugger
Class DerivationHistory.Derivation
java.lang.Object
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
DerivationHistory.Derivation
public DerivationHistory.Derivation()
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.