Package org.semanticweb.owlapi.reasoner.knowledgeexploration

Interface OWLKnowledgeExplorerReasoner.RootNode

Enclosing interface:

OWLKnowledgeExplorerReasoner

public static interface OWLKnowledgeExplorerReasoner.RootNode

Interface for a tableaux node.

Method Summary

Modifier and Type	Method	Description
<T> T	getNode()

Method Detail

getNode

@Nonnull
<T> T getNode()

Type Parameters:

T - actual node type

Returns:

inner node representation