[gecode-users] Space val method causes python to crash

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On
> Behalf Of Blockheads Oi Oi
> Sent: Sunday, January 29, 2012 9:45 AM
> To: users at gecode.org
> 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
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users