Re: [henshin-dev] Proposal to remove direct creation of edges

[Stefan Jurack <henshin.stj@xxxxxxxxx>]

Am 12.12.2011 17:45, schrieb Enrico Biermann:
> My approach
> would have been local injectivity (for a single match in a single layer
> of one rule) and unique construction of the nested amalgamated rule
> (even if the resulting rule is not applicable due to dangling or
> identification conditions.

Yep.
However, local injectivity works for the present implementation due to
the full embedding of the the kernel's Lhs/Rhs into the multi rules. If
Gregor implements the interpreter along the new approach of embedding
required nodes only, he should make sure that the semantics/behavior
remain as is.

I am also interested in the amount of code change that comes with these
changes. @Gregor, what is your estimation: It the amount reasonable?

Regards, Stefan

Attachment: signature.asc
Description: OpenPGP digital signature