How do solver processes work
Table of Contents
def updateAndCompensate(applied_rule, movement_list):
is the key method to consider in order to get stable expands in ERP5 simulation. The key is to provide an appropriate movement_list.
This example shows that the concept of taking snapshots helps reaching a stable expand (when no backtracking happens).
This example shows that the concept of snapshot is not useful to prevent divergences when forward expand happens. We have nothing to say "do not touch this property, it is like this, it is not