Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [henshin-dev] Proposal to remove direct creation of edges

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.



Back to the top