patrick
/
plasp
Archived
1
0
Fork 0
Commit Graph

6 Commits

Author SHA1 Message Date
Patrick Lühne 624ddc38aa
Fixed incorrect derived predicate IDs in problems.
The IDs of derived predicates within problems were accidentally starting
with 1 again, colliding with the IDs of derived predicates in the
domain. With this fix, the IDs are continuously incremented, even after
switching from domain to problem.
2017-10-25 19:01:11 +02:00
Patrick Lühne 0a104d222c
Removed unneeded constant parsing functions. 2017-08-31 18:51:27 +02:00
Patrick Lühne 80167fd21b
Removed unneeded variable parsing functions. 2017-08-31 18:48:48 +02:00
Patrick Lühne 89f3eb0306
Implemented term parser. 2017-08-31 18:34:34 +02:00
Patrick Lühne 716b4801aa
Added AST representation for “equals” expressions. 2017-08-31 17:54:30 +02:00
Patrick Lühne 9199b68080
Renamed “pddlparse” library to simply “pddl”. 2017-08-09 17:52:50 +02:00