ScheduleEnricher Methods

Appends homomorphy information to each operation of the scheduled search plan

Negative/Independent schedules are merged as an operation into their enclosing schedules, at a position determined by their costs but not before all of their needed elements were computed

Parallelize the scheduled search plan for usage from a parallelized matcher (non- is-matched-flag-based isomorphy checking)

Parallelize the scheduled search plan if it is to be parallelized. An action to be parallelized is split at the first loop into a header part and a body part, all subpatterns and nested patterns to be parallelized are switched to non- is-matched-flag-based isomorphy checking.

Parallelize the scheduled search plan to the branching factor, splitting it at the first loop into a header part and a body part