[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [henshin-dev] Proposal to remove direct creation of edges
|
According to the theory closing a cycle would still not be possible with
nested amalgamation. At least from a theoretical point of view each
higher layer completely embeds the last layer whether it is displayed as
such or not.
Regards,
Enrico
On 14.12.2011 14:29, Gregor Bonifer wrote:
> Unique construction it is. The setting for injectivity should be taken
> from each rule. This allows a (non-injective) multiRule to close
> cyclic paths by rematching elements matched by a (potentially
> injective) kernel.
>
> However, I think it would be nice to allow some sort of disjoint
> coverage i.e. global injectivity. I see cases where a globally
> injective amalgamation would be more efficient than solutions
> constructed by the means of the existing TUs. But perhaps we should
> discuss this as a possible extension once unique construction works.
> Let's save some of the fun ;)
>
> Regards,
> Gregor
>
>
> Am 14.12.2011 09:58, schrieb Christian Krause:
>> On 14.12.2011 09:49, Stefan Jurack wrote:
>>> Am 14.12.2011 01:39, schrieb Enrico Biermann:
>>>> Personally I think the most useful and simplest solution is locally
>>>> injective matches (depending on the trafo option) and unique
>>>> construction.
>>> Agree. The "unique construction" is the strategy that is most intuitive
>>> and that can be reproduced in ones mind best.
>>
>> I also think this is the best solution.
>>
>> _______________________________________________
>> henshin-dev mailing list
>> henshin-dev@xxxxxxxxxxx
>> https://dev.eclipse.org/mailman/listinfo/henshin-dev
>>
>
> _______________________________________________
> henshin-dev mailing list
> henshin-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/henshin-dev
