If a constraint is added to an inverse that currently has no constraint, a reorganization of the classes involved will be required if the classes have instances. Similarly, if a constraint on an inverse is changed (by altering the underlying condition or using a different condition), the classes involved in the inverse will require reorganization.
If the constraint is new or has changed, the condition will be evaluated (or re-evaluated, if the constraint has changed) for each instance, to ensure that each inverse is established at least once.
If a constraint is added to an inverse and existing inverses are defined on the property, the constraint will also apply to these inverses. These inverses will be validated by evaluating the condition for each instance, to ensure that the inverse is established at least once.