[gecode-users] IntVar::IntVar: Attempt to create variable with empty domain.

Jose A Magaña jose_a_magana at hotmail.com
Thu Dec 26 10:28:38 CET 2013


Hello,
   please, disregard my previous mail.
   The problem has been found, as usual, in the most unexpected line of 
code.
   My apologies
      Jose

-----Original Message----- 
From: Jose A Magaña
Sent: Tuesday, 24 December, 2013 19:43
To: users at gecode.org
Subject: IntVar::IntVar: Attempt to create variable with empty domain.

Hello,

    I am using Gecode to solve Conway Game of Life. It is an assignment for
the CSP course I am following at University.

    My code is working correctly without any problems except for the trivial
case.
    The objective is for a given initial solution add checkers to a board
until the configuration is stable (according to some neighbourhood rules).
     The point is that when the initial solution is already stable I get an
exception: IntVar::IntVar: Attempt to create variable with empty domain.

     The problem uses IntVar in the domain {0,1} and basically formalizes as
constraints relationships on the number of neighbours with certain
conditions depending on the 0/1 value of the cell.
     I have found unsatisfiable cases where the same exception also occurs.

    What kind of issues/conditions may cause this exception?

      I am using version 4.2.1 in Windows.

         Thanks in advance

              Jose A. Magaña






More information about the users mailing list