Error in TimeTriggeredPlan.extract_epsilon algorithm (no mutex)

[Framba-Luca]

The TimeTriggeredPlan.extract_epsilon algorithm does not take into consideration if 2 events are mutex for the epsilon calculation.

This is not compliant with the wanted PDDL semantic.

[Framba-Luca]

Debug info: the extract_epsilon method creates a Set of times of the events, and then computes the minimum distance between 2 events and outputs it as the plan epsilon.

The times should not be a Set[Fraction], but a Dict[FNode, Set[Fraction]], containing as keys the GROUNDED fluents involved in the event, and in the mapped set all the times of the corresponding events. Then the plan epsilon is the minimun between all the minimum distances in the Sets.