org.semanticweb.HermiT.debugger

Interface DerivationHistory.Fact

All Superinterfaces:

Serializable

Enclosing class:

DerivationHistory

public static interface DerivationHistory.Fact
extends Serializable

Fact

Method Summary

Modifier and Type	Method and Description
org.semanticweb.HermiT.debugger.DerivationHistory.Derivation	getDerivation()
String	toString(Prefixes prefixes)

Method Detail

toString

String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString

getDerivation

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation getDerivation()

Returns:

derivation