In general in alloy analyzer, when an instance is found and projected it over time,
the parent child relation between different clafer changes from time to time.
For example see in 1st figure (Time 0) c0_b is attached to c0_a3 and the same clafer in 2nd figure (Time 4), it is attached to c0_a2.
Is this the desired behavior?
According to semantics, the parent relation is kind of fixed between clafer instances.
Should we encode the alloy code differently to prevent this???
In general in alloy analyzer, when an instance is found and projected it over time,
the parent child relation between different clafer changes from time to time.
For example see in 1st figure (Time 0) c0_b is attached to c0_a3 and the same clafer in 2nd figure (Time 4), it is attached to c0_a2.
Is this the desired behavior?
According to semantics, the parent relation is kind of fixed between clafer instances.
Should we encode the alloy code differently to prevent this???