[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [henshin-dev] Proposal to remove direct creation of edges
|
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
