search

jariba / europa-pso

Automatically exported from code.google.com/p/europa-pso
1 stars 0 forks source link

Inconsistency causes odd exception #105

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
See issue #104 which is similar.  If you put the same 4 lines of code in a 
predicate definition instead:

    int counter;
    counter = 0;
    counter = 1;
    eq(counter, 4);

Then when I run the planner, I see this exception:

terminate called after throwing an instance of 'EUROPA::PSLanguageExceptionList'

Again, there is nothing wrong with the model, and the planner should be able to 
handle this case.

Original issue reported on code.google.com by tristanb...@gmail.com on 4 Mar 2011 at 12:19

GoogleCodeExporter commented 8 years ago 
hmm, I'll have to review the grammar, "=" should not be allowed there, if 
you're imposing a constraint, use == instead.

Original comment by javier.barreiro@gmail.com on 4 Mar 2011 at 12:38

GoogleCodeExporter commented 8 years ago 
My mistake.  "=" is not allowed there.  I was editing a simple example in a 
text editor and didn't realize the issue.  When I type it into Tatiana's 
editor, I get a nice red marker on that line. :)

Original comment by tristanb...@gmail.com on 4 Mar 2011 at 1:50