/** Full dump for debugging */
public String dump() {
return rdfNode.getLocalName()
+ siblings.dump()
+ " succ="
+ dumpSet(succ)
+ ", succClose="
+ dumpSet(succClosed)
+ ", pred="
+ dumpSet(pred);
}
/** Print node label to assist with debug. */
@Override
public String toString() {
return "[" + rdfNode.getLocalName() + "]";
}