·
Pre-Conditions and Post-Conditions
·
Update On Self Constraints
·
Deactivation Between Constraints
·
Update On Self Sorting