org.semanticweb.HermiT.debugger

Interface DerivationHistory.Fact

All Superinterfaces:

Serializable

All Known Implementing Classes:

DerivationHistory.Atom, DerivationHistory.Disjunction

Enclosing class:

DerivationHistory

public static interface DerivationHistory.Fact
extends Serializable

Fact

Method Summary

Modifier and Type	Method and Description
DerivationHistory.Derivation	getDerivation()
String	toString(Prefixes prefixes)

Method Detail

toString

String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString

getDerivation

DerivationHistory.Derivation getDerivation()

Returns:

derivation