]> Repositorios git - scryer-prolog.git/commit
attach more propagators before starting propagation
authorMarkus Triska <[email protected]>
Mon, 21 Aug 2023 19:52:28 +0000 (21:52 +0200)
committerMarkus Triska <[email protected]>
Tue, 22 Aug 2023 19:52:55 +0000 (21:52 +0200)
commit98086de77e0a300937c0920b697c6c342f1c95fe
tree70ebf4fec1daae3652065b33eb508c492afc6a4b
parent24456e9703f1d23b4b75985e0a11608e18adaa29
attach more propagators before starting propagation

This prevents repeated triggering of already attached propagators
while new propagators are being attached to involved variables.
src/lib/clpz.pl