[henshin-dev] State space generation with rule priorities

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

[henshin-dev] State space generation with rule priorities

From: Christian Krause <henshin.ck@xxxxxxxxx>
Date: Thu, 04 Apr 2013 21:05:14 +0200
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>
User-agent: Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130308 Thunderbird/17.0.4

Hi all,
it is now possible to specify rule priorities in the state space generator. This essentially allows you to prune transitions and thus parts of the state space. The details are described here: http://wiki.eclipse.org/Henshin_State_Space_Tools#Setting_rule_priorities

Cheers,
Christian

Prev by Date: Re: [henshin-dev] Proper henshin testbed installation ?
Next by Date: [henshin-dev] Project meta data is out of date for modeling.emft.henshin
Previous by thread: [henshin-dev] Proper henshin testbed installation ?
Next by thread: [henshin-dev] Improving Variable Sorting
Index(es):
- Date
- Thread

Breadcrumbs