From mauriciotorob at gmail.com  Thu Apr  3 16:07:41 2008
From: mauriciotorob at gmail.com (Mauricio Toro)
Date: Thu, 3 Apr 2008 18:07:41 +0200
Subject: [gecol-devel] Bug report
Message-ID: <a6b4b44a0804030907v3cc19c58rad0a3abfb30c3b78@mail.gmail.com>

Hello Will,

I am still getting this error
when compiling the last version of gecol
with gecode 2.1.1.

/Library/Frameworks/Gecode/gecol20/glue.cpp: In function
'Gecode::Set::SetVarImp* gec_fs_variable(Gecode::SetVar*)':
/Library/Frameworks/Gecode/gecol20/glue.cpp:1451: error: 'class
Gecode::SetVar' has no member named 'var'

what is the difference between set->var and set->variable ?

And this other error:

/Library/Frameworks/Gecode/gecol20/glue.cpp: In function
'Gecode::DFS<GecolSpace>* make_DFS_Space_int_int_Stop(GecolSpace*,
int, int, Gecode::Search::Stop*)':
/Library/Frameworks/Gecode/gecol20/glue.cpp:534: error: 'Options' is
not a member of 'Gecode::Search'
/Library/Frameworks/Gecode/gecol20/glue.cpp:534: error: 'opt' was not
declared in this scope
/Library/Frameworks/Gecode/gecol20/glue.cpp:534: error: expected type-specifier
/Library/Frameworks/Gecode/gecol20/glue.cpp:534: error: expected `;'
/Library/Frameworks/Gecode/gecol20/glue.cpp: In function
'Gecode::BAB<GecolSpace>* make_BAB_Space_int_int_Stop(GecolSpace*,
int, int, Gecode::Search::Stop*)':
/Library/Frameworks/Gecode/gecol20/glue.cpp:555: error: 'Options' is
not a member of 'Gecode::Search'
/Library/Frameworks/Gecode/gecol20/glue.cpp:555: error: 'opt' was not
declared in this scope
/Library/Frameworks/Gecode/gecol20/glue.cpp:555: error: expected type-specifier
/Library/Frameworks/Gecode/gecol20/glue.cpp:555: error: expected `;'


-- 
Mauricio Toro Bermudez
Estudiante de Ingenier?a de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare ? l'Ircam
1, place Igor-Stravinsky 75004 Paris,
France de 2008 ? 2009


From mauriciotorob at gmail.com  Thu Apr  3 17:20:50 2008
From: mauriciotorob at gmail.com (Mauricio Toro)
Date: Thu, 3 Apr 2008 19:20:50 +0200
Subject: [gecol-devel] Sorry, the library was not properly installed
Message-ID: <a6b4b44a0804031020m7738110am72c383bd48703272@mail.gmail.com>

Hello Will,

It worked fine with Gecode 2.1.1.
I had some problems because I have many versions installed.

I am sending a new patch soon with some
support for RegExp, but there are some problems
with that, in case you want to help.

Thanks


-- 
Mauricio Toro Bermudez
Estudiante de Ingenier?a de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare ? l'Ircam
1, place Igor-Stravinsky 75004 Paris,
France de 2008 ? 2009


From metawilm at gmail.com  Thu Apr  3 17:49:09 2008
From: metawilm at gmail.com (Willem Broekema)
Date: Thu, 3 Apr 2008 19:49:09 +0200
Subject: [gecol-devel] Bug report
In-Reply-To: <a6b4b44a0804030907v3cc19c58rad0a3abfb30c3b78@mail.gmail.com>
References: <a6b4b44a0804030907v3cc19c58rad0a3abfb30c3b78@mail.gmail.com>
Message-ID: <f6bc9b490804031049o4675374fta6a7ea98413d2ca9@mail.gmail.com>

On Thu, Apr 3, 2008 at 6:07 PM, Mauricio Toro <mauriciotorob at gmail.com> wrote:
> Hello Will,

Let's keep it Willem please - it's Dutch :)

>  I am still getting this error when compiling the last version of gecol with gecode 2.1.1.

That's unfortunate. Apparently we are not compiling with the same
Gecode library?

>  /Library/Frameworks/Gecode/gecol20/glue.cpp: In function
>  'Gecode::Set::SetVarImp* gec_fs_variable(Gecode::SetVar*)':
>  /Library/Frameworks/Gecode/gecol20/glue.cpp:1451: error: 'class
>  Gecode::SetVar' has no member named 'var'
>
>  what is the difference between set->var and set->variable ?

This is the error I get for set->variable, when asdf-loading:

cl-user(5): (aload :gecol)
; $ /usr/bin/g++ /Users/willem/dev/lisp/gecol20/glue.cpp -dynamiclib
-fPIC -lgecodesearch -lgecodekernel -lgecodeint -lgecodeset
-lgecodeminimodel -lstdc++ -lgecodesupport -o
/Users/willem/.fasl/allegro-8.1m-macosx-x86/Users/willem/dev/lisp/gecol20/glue.so
/Users/willem/dev/lisp/gecol20/glue.cpp: In function
'Gecode::Set::SetVarImp* gec_fs_variable(Gecode::SetVar*)':
/Users/willem/dev/lisp/gecol20/glue.cpp:1452: error: 'class
Gecode::SetVar' has no member named 'variable'
Error: erred while invoking #<compile-op nil @ #x10cf61ca> on
#<gecode-source-file "glue" @ #x105b0f6a>
  [condition type: operation-error]

The member "var" seems documented here:
http://www.gecode.org/gecode-doc-latest/classGecode_1_1VarBase.html
(SetVar is derived from VarBase).
http://www.gecode.org/gecode-doc-latest/classGecode_1_1VarBase.html

And seems defined in release-2.1.1/gecode/kernel/var.icc line 59.

>  And this other error:
>
>  /Library/Frameworks/Gecode/gecol20/glue.cpp: In function
>  'Gecode::DFS<GecolSpace>* make_DFS_Space_int_int_Stop(GecolSpace*,
>  int, int, Gecode::Search::Stop*)':
>  /Library/Frameworks/Gecode/gecol20/glue.cpp:534: error: 'Options' is
>  not a member of 'Gecode::Search'

In release-2.1.1/gecode/search.hh there is on line 224 a class Options
inside a namespace Search inside a namespace Gecode. That looks right
to me. Also, it is documented at
<http://www.gecode.org/gecode-doc-latest/classGecode_1_1Search_1_1Options.html>.

- Willem


From metawilm at gmail.com  Thu Apr  3 17:54:57 2008
From: metawilm at gmail.com (Willem Broekema)
Date: Thu, 3 Apr 2008 19:54:57 +0200
Subject: [gecol-devel] Sorry, the library was not properly installed
In-Reply-To: <a6b4b44a0804031020m7738110am72c383bd48703272@mail.gmail.com>
References: <a6b4b44a0804031020m7738110am72c383bd48703272@mail.gmail.com>
Message-ID: <f6bc9b490804031054s3ad007e9k827b517be9c2fb33@mail.gmail.com>

On Thu, Apr 3, 2008 at 7:20 PM, Mauricio Toro <mauriciotorob at gmail.com> wrote:
>  It worked fine with Gecode 2.1.1.
>  I had some problems because I have many versions installed.

OK, good. Actually I also had some problems getting the libs right
when trying to compile Gecol 2.0, so I can understand it.

>  I am sending a new patch soon with some
>  support for RegExp, but there are some problems
>  with that, in case you want to help.

I'm not enough at home in Gecode to be much help at the moment, I'm afraid...

- Willem


From kilian.sprotte at googlemail.com  Mon Apr  7 08:21:49 2008
From: kilian.sprotte at googlemail.com (Kilian Sprotte)
Date: Mon, 7 Apr 2008 10:21:49 +0200
Subject: [gecol-devel] Re: darcs patch: Regular exp,
	finite sets and newexamples
In-Reply-To: <a6b4b44a0804040330v6f2abc23ke204b1a97bdfe915@mail.gmail.com>
References: <20080404102647.C41F21C6641@m1533.ircam.fr>
	<a6b4b44a0804040330v6f2abc23ke204b1a97bdfe915@mail.gmail.com>
Message-ID: <1d26dc7e0804070121h4eb6f35dn957046d50769685f@mail.gmail.com>

Hi Mauricio,

thanks for the patch. It is pushed now (but I did not have time to test it).

Best,
  Kilian

On Fri, Apr 4, 2008 at 12:30 PM, Mauricio Toro <mauriciotorob at gmail.com> wrote:
> Hola,
>
>  This is a new patch for Gecol.
>  Thanks for all,
>
>  Mauricio
>
>  ---------- Forwarded message ----------
>  From: mauriciotorob at gmail.com <mauriciotorob at gmail.com>
>  Date: 4 avr. 2008 12:26
>  Subject: darcs patch: Regular exp,finite sets and newexamples
>  To: mauriciotorob at gmail.com
>
>
>  Fri Apr  4 12:25:51 CEST 2008  mauriciotorob at gmail.com
>   * Regular exp,finite sets and newexamples
>
>
>
>  --
>  Mauricio Toro Bermudez
>  Estudiante de Ingenier?a de Sistemas
>  Pontificia Universidad Javeriana, Colombia
>
>  Stagiare ? l'Ircam
>  1, place Igor-Stravinsky 75004 Paris,
>  France de 2008 ? 2009
>