Thanks Guido. I need this in a context with free search, and by the way another unfortunate thing about fzn-gecode is that any search annotation seems to disable the -f flag. So free search seems incompatible with Gist showing variable names... What a pity. I hope that you will return to these points eventually.
Keep up the good work, On Thu, Aug 11, 2016 at 8:38 AM, Guido Tack <guido.t...@monash.edu> wrote: > Hi Mats, > > this is a limitation in the current fzn-gecode interpreter, we can only > get variable names for variables that are mentioned in a search > annotation. So currently the only workaround is to include all variables > in some search annotation (but of course I understand that that’s not > necessarily what you want to do). I had a look at fixing this at some > point, but it turned out to be more than just a few lines of code so I had > to leave it for the time being. > > Cheers, > Guido > > -- > *GUIDO TACK* > Senior Lecturer > > *Information Technology* > Monash University > Level 6, Room 6.40, Building H, Caulfield Campus > 900 Dandenong Road > Caulfield East VIC 3145 > Australia > > T: +61 3 9903 1214 > E: guido.t...@monash.edu > http://www.csse.monash.edu/~guidot/ > > > On 19 Jul 2016, at 6:39 PM, Mats Carlsson <ma...@sics.se> wrote: > > Hi, I have a problem with fzn-gecode -mode gist, Gecode trunk 14847, > MiniZinc 2.0.13. > Namely, anonymous variable names like var[123] get displayed instead of > the variable names of the .fzn file. Admittedly, the latter names are a > bit awkward, but at least they enable me to relate back to the names of the > MiniZinc model. But I have no idea how to map the var[...] names to the > names of the .fzn file. I have tried to edit the .fzn file in various ways > to make Gist use its names, but it has not helped. Is there some > work-around? > > See the attachment for an example. > > -- > Mats Carlsson, SICS > www.sics.se/~matsc > <tree.pdf>_______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users > > > -- Mats Carlsson, SICS www.sics.se/~matsc
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
