Traffic Bug Fixed

[Scott Sanner]

Hi all,

There was a bug in the traffic MDP and POMDP domains causing cars to erroneously appear at stoplines on red lights.  This has been fixed now, please 'svn update' to get the latest traffic files in files/test_comp/rddl.

Much thanks to Patrick Eyerich and Thomas Keller for pointing this out.

Note that if you are using a translation of RDDL, you'll have to regenerate your files with one of the following commands:

./run rddl.translate.RDDL2Prefix files/test_comp/rddl files/test_comp/rddl_prefix

./run rddl.translate.RDDL2Format files/test_comp/rddl files/test_comp/spudd_sperseus spudd_sperseus

./run rddl.translate.RDDL2Format files/test_comp/rddl files/test_comp/ppddl ppddl

Cheers,

Scott