eventmasks[aid][pindice] |= type.getStrengthenedMask();
if (needSched) {
if (Configuration.PRINT_SCHEDULE) {
IPropagationEngine.Trace.printSchedule(prop);
}
prop.incNbPendingEvt();
eventsets[aid].addLast(pindice);
} else if (Configuration.PRINT_SCHEDULE) {
IPropagationEngine.Trace.printAlreadySchedule(prop);
}
}