From a585d9e5c7e8c18f838845cb9b85f415e4664fbf Mon Sep 17 00:00:00 2001 From: Jiayi Wei Date: Mon, 30 Aug 2021 16:20:20 -0500 Subject: [PATCH] Fix `inform!` for `ScoredScheduler`. --- src/EGraphs/Schedulers/scoredscheduler.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/EGraphs/Schedulers/scoredscheduler.jl b/src/EGraphs/Schedulers/scoredscheduler.jl index 054e151c..469a351f 100644 --- a/src/EGraphs/Schedulers/scoredscheduler.jl +++ b/src/EGraphs/Schedulers/scoredscheduler.jl @@ -89,7 +89,7 @@ function inform!(s::ScoredScheduler, rule::AbstractRule, n_matches) rd = s.data[rule] treshold = rd.match_limit * (rd.weight^rd.times_banned) - if length(n_matches) > treshold + if n_matches > treshold ban_length = rd.ban_length * (rd.weight^rd.times_banned) rd.times_banned += 1 rd.banned_until = s.curr_iter + ban_length