[henshin-dev] Matching

[Thorsten Arendt <arendt@xxxxxxxxxxxxxxxxxxxxxxxxx>]

Hi.

I have a question regarding the matching algorithm in Henshin. Here my Scenario:

4 rules within an independent unit, the independent unit is within a loop unit (this models a layered execution until no rule is matched anymore). However, when running the loop, a rule is always matched on the same nodes, i.e., there is really no non-determinism in the matching.

I also registered that the matched nodes are those which are created last by a rule executed just before the loop.

Any reasons/solutions for this?

Regards,
Thorsten

--
Dipl.-Inf. Thorsten Arendt, Dr. rer. nat.
Philipps-Universität Marburg
Fachbereich Mathematik und Informatik
Hans-Meerwein-Str.
D-35032 Marburg
Office: 05D18
Phone : +49-6421-2821540
Email : arendt@xxxxxxxxxxxxxxxxxxxxxxxxx
--