
=== Comb-Pattern Benchmark in Henshin ===

Contributed by Dmitry Zakharov and Christian Krause

This example contains two features: (1) It shows how to define 
higher-order (HO) transformations in Henshin, and (2) A benchmark 
for the match finder in Henshin.

This example was defined in the following technical report:

http://www.cs.bme.hu/~gervarro/publication/TUB-TR-05-EE17.pdf
