Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
System: fix modified_set_ when selective_update is active
authorBruno Donassolo <bruno.donassolo@inria.fr>
Wed, 16 Mar 2022 09:30:33 +0000 (10:30 +0100)
committerBruno Donassolo <bruno.donassolo@inria.fr>
Fri, 18 Mar 2022 08:24:44 +0000 (09:24 +0100)
commit1c50eb21ec0f34955125873cd8e92e737aed1611
tree4d519294e972fc474b7c58c80f917a8c16665df9
parent919a006452206f935fe271499ab68eb8cf875854
System: fix modified_set_ when selective_update is active

Using update_modified_set only on the first constraint of the variable
is valid only if the variable is active. Otherwise, it can make the
modified_set_ incomplete.
src/kernel/lmm/System.cpp
src/kernel/lmm/System.hpp