Change implementation of BackoffScheduler to match egg.#249

Closed

gkronber wants to merge 16 commits intoale/3.0from

248_incorrect_nmatches_for_inform

Commits on Oct 5, 2024

Inform the scheduler with the corrent number of matches for the rule. Removed duplicate statement. Removed comment.
gkronber
committed
Removed empty line
gkronber
committed
Check cansearch before @timeit to show the number of calls for the rules in the report correctly.
gkronber
committed

Commits on Oct 6, 2024

Use threshold from BackoffScheduler as a limit for the ematcher
gkronber
committed
Improved handling of limited number of matches.
gkronber
committed
Bugfix: ematcher now returns hash of constants instead of index of enode in class when using type predicates in dynamic rules.
gkronber
committed

Commits on Oct 7, 2024

Commits on Oct 10, 2024

Improve debug output and remove trailing whitespace
gkronber
committed

Commits on Oct 11, 2024

Check size argument for resize(::OptBuffer, n)
gkronber
committed

Commits on Oct 16, 2024

Merge branch 'ale/3.0' into 248_incorrect_nmatches_for_inform
gkronber
committed

Commits on Jan 20, 2025

Merge branch 'ale/3.0' into 248_incorrect_nmatches_for_inform
gkronber
authored