correct bug count cardinality (#429)

corail-research · Jul 19, 2023 · af364fb · af364fb
1 parent 352d022
commit af364fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/CP/core/model.jl b/src/CP/core/model.jl
@@ -457,7 +457,7 @@ function global_domain_cardinality(model::CPModel)
     cardinality = 0
     for (id, x) in model.variables
         cardinality += length(x.domain)
-        if !(isa(x.domain, IntSetDomain) || isa(x, IntVarViewMul))
+        if !(isa(x.domain, IntSetDomain) || isa(x, IntVarViewMul) || isa(x, IntVarViewOpposite) || isa(x, IntVarViewOffset))
             if !isempty(x.children)
                 for child in x.children
                     cardinality += length(child.domain)