search

shawn47 / jbpt

Automatically exported from code.google.com/p/jbpt
0 stars 0 forks source link

Problem with TPN Import (WoflanSerializer) #10

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
The WoflanSerializer.parse(File) method assumes transitions defined in multiple 
lines. This assumption is not really consistent with what reported here 
http://www.win.tue.nl/~hverbeek/doku.php?id=projects:prom:plug-ins:import:tpn.

Attached to this issue you can find a patch that should fix the problem (the 
patch was designed for the Cheetah version of jbpt, but should be ok). In 
particular, now both formats should work (with transitions reported in either 
one or several lines).

Original issue reported on code.google.com by andrea.burattin on 24 Jul 2015 at 1:45

Attachments: