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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

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

From: Stefan Jurack <henshin.stj@xxxxxxxxx>
Date: Wed, 14 Dec 2011 09:49:03 +0100
Delivered-to: henshin-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/henshin-dev>
List-help: <mailto:henshin-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/henshin-dev>, <mailto:henshin-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/henshin-dev>, <mailto:henshin-dev-request@eclipse.org?subject=unsubscribe>
Organization: EMF Henshin Team
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:8.0) Gecko/20111105 Thunderbird/8.0

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.

Attachment: signature.asc
Description: OpenPGP digital signature

Follow-Ups:
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Christian Krause

References:
- [henshin-dev] Proposal to remove direct creation of edges
  - From: Gregor Bonifer
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Riegerf
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Gregor Bonifer
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Christian Krause
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Gregor Bonifer
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Enrico Biermann
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Stefan Jurack
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Gregor Bonifer
- Re: [henshin-dev] Proposal to remove direct creation of edges
  - From: Enrico Biermann

Prev by Date: Re: [henshin-dev] Proposal to remove direct creation of edges
Next by Date: Re: [henshin-dev] Proposal to remove direct creation of edges
Previous by thread: Re: [henshin-dev] Proposal to remove direct creation of edges
Next by thread: Re: [henshin-dev] Proposal to remove direct creation of edges
Index(es):
- Date
- Thread

Breadcrumbs