downward
downward copied to clipboard
[issue1019] split off the computation of PatternDatabase into several…
… functions