LOG.debug("\tis notified? " + value.isNotified());
}
/* collect all the incoming senders IDs */
for (BrachaTouegDeadlockMessage message : messages) {
value.addParent(Long.valueOf(message.getSenderId()));
}
/* debugging purpose: print all the parents of the vertex */
if (LOG.isDebugEnabled()) {
logParents(vertex);