next up previous contents
Next: Conflict Classification Up: Detection of an Previous: Different Entities Within

Different Entities Across Parameter Blocks

This case is very similar to detection of conflict involving entities within a parameter block. The only difference is that only selectors can have such conflicts. This means that selectors need to know what values are related to the value they are producing and check for the constraints between these values.

Ilan Berker
Thu Apr 27 16:25:38 EDT 1995