bugfix ii

mlr-org · Sep 23, 2024 · f2ba506 · f2ba506
1 parent 999716c
commit f2ba506
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/R/CnfFormula_simplify1.R b/R/CnfFormula_simplify1.R
@@ -210,6 +210,7 @@ simplify_cnf = function(entries, universe) {
 
       # we are now a subset (and most likely were not before)
       # ("most likely" because it could probably happen that we re-enter this part through some cascading elimination / propagation)
+      if (!is_not_subset_of[[meta_idx]][other_meta_idx, is_not_subset_of_col]) next
       is_not_subset_of[[meta_idx]][other_meta_idx, is_not_subset_of_col] <<- FALSE
       not_subset_count[meta_idx, other_meta_idx] <<- (rowsum = not_subset_count[meta_idx, other_meta_idx] - 1L)
       if (rowsum > 2L) next