Merge pull request #1786 from triska/tuples_in

FIXED: propagation for ground tuples
2023-04-14 06:22:18 +02:00
parent fc7d98d748 5763a4b9df
commit dcf4c44173
1 changed files with 1 additions and 1 deletions
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -4369,7 +4369,7 @@ tuple_domain([T|Ts], Relation0) -->
        tuple_domain(Ts, Relation1).

 tuple_freeze(Tuple, Relation) :-
-        (   ground(Tuple) -> true
+        (   ground(Tuple) -> memberchk(Tuple, Relation)
        ;   put_attr(R, clpz_relation, Relation),
            make_propagator(rel_tuple(R, Tuple), Prop),
            tuple_freeze_(Tuple, Prop)