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

Merge branch 'master' of https://github.com/denys-duchier/yap-6.3

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-06-29 22:45:47 +01:00
commit fab462b002
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; }