|Re: [henshin-user] NestedConditions|
Henshin allows the morphism between the host graph and the application condition graph to be a partial morphism. Consequently, all three cases you mention (only nodes replicated, only border nodes replicated, full LHS replicated) would specify different application conditions for the same rule.
While this design decision has its awkward sides (especially the representation in the graphical editor), I encountered some situations before where it was desirable, as it allowed to precisely specify an intended behavior.
I'm actually surprised by the fact that the graphical editor defaults to the "node only" case -- I would have expected "full LHS replicated" as the default. However, in most cases, the resulting behavior will be identical. The only exceptions seem to arise in the (exceptionally rare) case where there are multiple references of the same type between the same two objects.
On 12/19/2019 11:32 AM, Zschaler, Steffen wrote:
-- Dr. Daniel Strüber Postdoctoral Researcher Department of Computer Science and Engineering Chalmers | University of Gothenburg, Sweden http://danielstrueber.de/
Back to the top