search

rpgoldman / europa-pso

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

Equality constraint between a temporal variable and a non-temporal variable causes segfault #74

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
According to Paul, the following doesn't work properly:

          temporalDistance(0, reftime, stok.time);

(where reftime is a parameter and stok is an event token)

and this segfaults/errors out:

  eq(stok.time, reftime)

Original issue reported on code.google.com by miata...@gmail.com on 4 May 2010 at 3:30

GoogleCodeExporter commented 8 years ago 
After more investigation, the temporalDistance trick works, but the eq 
constraint
still causes Europa to choke.

Original comment by miata...@gmail.com on 4 May 2010 at 4:29

GoogleCodeExporter commented 8 years ago

Original comment by javier.barreiro@gmail.com on 22 Nov 2010 at 10:29