The checking process is performed following an event-based approach
<<<<<<< HEAD:api/src/main/java/btrplace/model/constraint/SatConstraintChecker.java
using an instance of btrplace.plan.ReconfigurationPlanChecker.
=======
using an instance of ReconfigurationPlanChecker.
>>>>>>> master:api/src/main/java/org/btrplace/model/constraint/SatConstraintChecker.java

First, the checker is notified for the model at the origin of the
reconfiguration. It is then notified each time an action starts or ends
and finally, it is notified about the resulting model.

Actions notifications are propagated with regards to their starting
and ending moment. If an action ends at the same moment another action
starts, the notification for the ending action is send first.