Commit Graph

619 Commits

Author SHA1 Message Date
d446c192cf Made plasp’s help message more precise. 2016-06-10 01:28:13 +02:00
eb5a120286 Fixed wrong comparison for language detection. 2016-06-10 01:25:51 +02:00
2e1a011dcf Implemented automatic language detection for plasp application. 2016-06-10 01:23:41 +02:00
8ef874eb22 Simplified plasp application by initializing parser externally. 2016-06-10 00:59:44 +02:00
c6dc84f27f Removed now unnecessary check for number of files with SAS parser. 2016-06-10 00:51:31 +02:00
8bb25e9b90 Implemented construction of SAS and PDDL Descriptions from Parser object. 2016-06-10 00:46:40 +02:00
c6bdfe3f38 Renamed issue checking test. 2016-06-09 23:35:57 +02:00
d1063b345d Renamed error detection tests. 2016-06-09 23:31:12 +02:00
dea879199a Removed debug output. 2016-06-09 23:26:00 +02:00
9a034cb556 Testing goal for Storage problem. 2016-06-09 23:21:05 +02:00
5cd22d284b Testing goal for Blocks World problem. 2016-06-09 23:19:20 +02:00
f8fc1865a2 Added to-do. 2016-06-09 22:55:16 +02:00
85444f235b Parsing goal section of PDDL problem specifications. 2016-06-09 22:54:39 +02:00
15061f75a9 Added test covering last issue. 2016-06-09 18:48:16 +02:00
d138e869fc Fixed further white space issue with empty n-ary predicates. 2016-06-09 18:46:06 +02:00
23170e170a Added test covering last two issues. 2016-06-09 18:32:55 +02:00
156dfd88c2 Fixed issue with parsing unsupported sections. 2016-06-09 18:30:34 +02:00
730a9b7e63 Fixed whitespace issues when parsing constants. 2016-06-09 18:26:04 +02:00
3041b6a278 Testing initial state for Storage problem. 2016-06-09 18:16:51 +02:00
2da5be548a Testing initial state for Blocks World problem. 2016-06-09 18:13:19 +02:00
6f1b38cdb7 Fixed parsing issue with predicates in problem description. 2016-06-09 18:04:24 +02:00
a8e4ef7234 Added missing implementation of facts accessor of InitialState. 2016-06-09 18:03:43 +02:00
c7405e054f Minor formatting. 2016-06-09 18:03:32 +02:00
9506dcb31e Refactored parsing of expressions, all classes parse from opening to closing parenthesis now. 2016-06-09 17:51:10 +02:00
04aac10f1d Allowing empty and expressions for compatibility and added a warning if used. 2016-06-09 15:56:14 +02:00
bbb6379907 Added goal-utilities requirement with a warning if used for compatibility. 2016-06-09 15:52:57 +02:00
26d7e216a6 Fixed issue with invalid suffixes on section names. 2016-06-09 15:33:09 +02:00
d629f50661 Added many PDDL syntax error tests. 2016-06-09 15:19:01 +02:00
2245422d0f Made parser exception message more meaningful. 2016-06-09 15:18:36 +02:00
87889f5efe Implemented two-pass parsing for PDDL problems. 2016-06-09 14:39:03 +02:00
fb15a131ac Enabling tests by default. 2016-06-09 01:25:50 +02:00
8428c20bd4 Parsing domains in two passes and continued working on parsing the initial state. 2016-06-09 01:25:18 +02:00
ff7a6b8c8f Removed unnecessary include. 2016-06-08 16:52:44 +02:00
d92a3e9239 Started testing PDDL problem parsing for a Storage problem. 2016-06-08 13:57:01 +02:00
d23ec14e9d Started testing PDDL problem parsing for a Blocks World problem. 2016-06-08 13:52:36 +02:00
ad23c89266 Refactored PDDL tests. 2016-06-08 13:41:17 +02:00
1c8958ad9d Check that variables are not declared multiple times. 2016-06-08 13:35:10 +02:00
c99b7018c6 Checking that type declarations are not missing. 2016-06-08 13:34:41 +02:00
f2089f48b8 Fixed typo. 2016-06-08 12:56:50 +02:00
75e51c856e Implemented early checking for typing requirement in Variables and Constants. 2016-06-08 12:51:39 +02:00
e60af33f75 Added functions for checking PDDL requirements. 2016-06-08 12:22:31 +02:00
993d14d409 Implemented type requirement checking for problem objects. 2016-06-08 01:51:45 +02:00
bf0e636d57 Fixed PDDL problem header parsing. 2016-06-08 01:51:21 +02:00
374ac3b07f Removed unneeded temporary object. 2016-06-08 01:44:06 +02:00
183b0c954e Fixed debug output. 2016-06-08 01:41:21 +02:00
42559fd601 Minor refactoring removing unnecessary temporary variable. 2016-06-08 01:31:14 +02:00
069ad4ca99 To-dos and formatting. 2016-06-08 01:19:49 +02:00
8db4b5a53e Implemented constant type checking. 2016-06-08 01:14:39 +02:00
32883910bb Fixed typo. 2016-06-08 01:12:29 +02:00
9b3f78559e Implemented primitive type declaration check. 2016-06-08 01:08:22 +02:00