diff options
Diffstat (limited to 'lang/mozart/files/patch-share-lib-cp-FD.oz')
| -rw-r--r-- | lang/mozart/files/patch-share-lib-cp-FD.oz | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/lang/mozart/files/patch-share-lib-cp-FD.oz b/lang/mozart/files/patch-share-lib-cp-FD.oz new file mode 100644 index 000000000000..b9553e94152c --- /dev/null +++ b/lang/mozart/files/patch-share-lib-cp-FD.oz @@ -0,0 +1,45 @@ +--- ./share/lib/cp/FD.oz.orig Wed Apr 30 17:51:32 2003 ++++ ./share/lib/cp/FD.oz Sat Sep 3 18:46:09 2005 +@@ -10,8 +10,8 @@ + %%% Christian Schulte, 1997, 1998 + %%% + %%% Last change: +-%%% $Date: 2003/04/30 21:51:32 $ by $Author: duchier $ +-%%% $Revision: 1.59 $ ++%%% $Date: 2005/02/08 16:45:09 $ by $Author: raph $ ++%%% $Revision: 1.59.6.1 $ + %%% + %%% This file is part of Mozart, an implementation + %%% of Oz 3 +@@ -319,7 +319,19 @@ + + GenSumR = FdpSumR + GenSumCR = FdpSumCR +- GenSumCNR = FdpSumCNR ++ ++ %% was: GenSumCNR = FdpSumCNR, but the latter blocks until the ++ %% polynom becomes linear (bug fix) ++ proc {GenSumCNR IV DDV Rel D B} ++ NegRel = NegRelTable.Rel ++ in ++ {FdBool B} ++ thread ++ or B=1 {FdpSumCN IV DDV Rel D} ++ [] B=0 {FdpSumCN IV DDV NegRel D} ++ end ++ end ++ end + + local + proc {MapIntR N T TR Dom} +@@ -395,9 +407,7 @@ + dom: FdDomR + sum: GenSumR + sumC: GenSumCR +- sumCN: proc {$ A B C D E} +- thread {GenSumCNR A B C D E} end +- end ++ sumCN: GenSumCNR + sumAC: GenSumACR + sumACN: GenSumACNR + distance: DistanceR |