rList.remove(iit.next());
}
}
rList.retainAll(a.getDeletePropositions());
if (!rList.isEmpty()) return false;
SchedulabilityChecker c = (VelosoSchedulabilityChecker) checker.clone(); //This should have to be cloned here and below
boolean result = c.addAction((InstantAction)a, this);
if (result && a instanceof StartInstantAction)
{
TemporalMetricState dupli = (TemporalMetricState) this.clone();
dupli.apply(a);
result = c.addAction(((StartInstantAction)a).getSibling(), dupli);
}
return result;
}