m_debugger.getOutput().println("Node with ID '"+nodeID+"' not found.");
return;
}
ExistentialExpansionStrategy strategy=m_debugger.getTableau().getExistentialsExpansionStrategy();
if (strategy instanceof IndividualReuseStrategy) {
IndividualReuseStrategy reuseStrategy=(IndividualReuseStrategy)strategy;
AtomicConcept conceptForNode=reuseStrategy.getConceptForNode(node);
m_debugger.getOutput().print("Node '");
m_debugger.getOutput().print(node.getNodeID());
m_debugger.getOutput().print("' is ");
if (conceptForNode==null)
m_debugger.getOutput().println("not a reuse node for any concept.");