diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

copy-and-paste bug in dimensioning a dynamic array

Browse Source
This commit is contained in:
Denys Duchier 2012-06-28 14:04:41 +02:00
parent c484053210
commit 8b57ca1cef
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/gecode/gecode_yap.cc
View File

@ -1047,7 +1047,7 @@ extern "C"
YAP_Term result = YAP_ARG1;
GenericSpace* space = gecode_Space_from_term(YAP_ARG2);
SetVar x = gecode_SetVar_from_term(space, YAP_ARG3);
DYNARRAY(YAP_Term,elems,x.glbSize());
DYNARRAY(YAP_Term,elems,x.lubSize());
SetVarLubValues it(x);
int n = 0;
while (it()) { elems[n] = YAP_MkIntTerm(it.val()); ++it; ++n; }
@ -1061,7 +1061,7 @@ extern "C"
YAP_Term result = YAP_ARG1;
GenericSpace* space = gecode_Space_from_term(YAP_ARG2);
SetVar x = gecode_SetVar_from_term(space, YAP_ARG3);
DYNARRAY(YAP_Term,elems,x.glbSize());
DYNARRAY(YAP_Term,elems,x.unknownSize());
SetVarUnknownValues it(x);
int n = 0;
while (it()) { elems[n] = YAP_MkIntTerm(it.val()); ++it; ++n; }