val() raises an exception if applied to a not yet assigned variable (the variable in you example still has domain 1...9), please check the docs.
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ > -----Original Message----- > From: [email protected] [mailto:[email protected]] On > Behalf Of Blockheads Oi Oi > Sent: Sunday, January 29, 2012 9:45 AM > To: [email protected] > Subject: [gecode-users] Space val method causes python to crash > > Hi all, > > The subject is easy enough to reproduce, FWIW I'm on Windows Vista. > > c:\Users\Mark\Python>python -V > Python 2.7.1 > > c:\Users\Mark\Python>type a.py > from gecode import * > s = space() > cell = s.intvar(1, 9) > print s.assigned(cell) > s.val(cell) > c:\Users\Mark\Python>python a.py > False > > This application has requested the Runtime to terminate it in an unusual way. > Please contact the application's support team for more information. > > Have I misunderstood the way that val is called and/or used or is this a genuine > problem? > > -- > Cheers. > > Mark Lawrence. > > > _______________________________________________ > Gecode users mailing list > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
