42 Commits

Include renames

Author	SHA1	Message	Date
patrick	12e55da662	Allowing “at” as a predicate name even though it is an expression identifier.	2017-06-21 23:00:07 +02:00
patrick	ec8007125f	Fixed segfault occurring with accidentally unnamed variables.	2017-06-21 16:48:43 +02:00
patrick	39c0e27cb2	Refactoring of tokenizer and stream classes for better efficiency and maintainability.	2017-06-21 02:56:27 +02:00
patrick	ce812d449b	Added exceptions for inconsistent use of typing.	2017-06-19 01:09:55 +02:00
patrick	17b8306394	Minor refactoring, as there is only one typing section.	2017-06-19 01:09:55 +02:00
patrick	60d8b9ba77	Fixed incorrect parsing order of type declarations.	2017-06-19 00:18:02 +02:00
patrick	bbf2a7d02d	Allowing not declaring implicit “object” type without warning or error.	2017-06-19 00:18:02 +02:00
patrick	4c0583c91f	Refactored tokenizer to lazily evaluate file locations.	2017-06-19 00:18:02 +02:00
patrick	268fa84c9e	Reimplemented tokenizer with plain streams.	2017-06-19 00:18:02 +02:00
patrick	230844c3ae	Fixed whitespace issue in typing sections and added test cases.	2017-06-19 00:18:02 +02:00
patrick	6ce4eecb18	Implemented predicate signature checks.	2017-06-19 00:18:02 +02:00
patrick	e364d01cf4	Fixed issue in parsing typed objects in multiple iterations and added test case.	2017-06-19 00:18:02 +02:00
patrick	195cffbf88	Fixed incorrectly determined parent types and added unit test.	2017-06-19 00:18:01 +02:00
patrick	bfb382de52	Fixed incorrect constant types and added unit test.	2017-06-19 00:18:01 +02:00
patrick	615167e7cd	Implemented compatibility mode to support old instances.	2017-06-19 00:18:01 +02:00
patrick	7ead2277e8	Prepared exceptions to have different types.	2017-06-19 00:18:01 +02:00
patrick	f83f9edbef	Reimplemented goal parser.	2017-06-19 00:17:53 +02:00
patrick	f90009b6d1	Reimplemented initial state parser.	2017-06-19 00:15:32 +02:00
patrick	fbcb790611	Minor refactoring.	2017-06-19 00:15:27 +02:00
patrick	8c98548dbc	Minor formatting.	2017-06-19 00:15:24 +02:00
patrick	20c687a787	Corrected exception types.	2017-06-19 00:15:14 +02:00
patrick	d376c1a993	Allowing atomic formulas and not just predicates in preconditions and effects.	2017-06-19 00:15:11 +02:00
patrick	10e658a922	Added back support for parsing effects and even conditional effects.	2017-06-19 00:15:07 +02:00
patrick	14c498c539	Handling unsupported preferences in preconditions.	2017-06-19 00:15:00 +02:00
patrick	f4c1d65365	Made warnings more concise and consistent.	2017-06-19 00:14:56 +02:00
patrick	34d9c7a1c2	Added warnings for currently under-construction sections.	2017-06-19 00:14:52 +02:00
patrick	0d3cb152f9	Finished precondition parsing.	2017-06-19 00:14:48 +02:00
patrick	63e15d37e8	Made precondition parsing more robust.	2017-06-19 00:14:45 +02:00
patrick	51249fd678	Refactored parsing variables, constants, and predicates.	2017-06-19 00:14:40 +02:00
patrick	c84cafda18	Fixed constant parsing if no problem is specified.	2017-06-19 00:14:18 +02:00
patrick	78b4636028	Continued working on reimplementing action parser.	2017-06-19 00:14:18 +02:00
patrick	1876d1fe0b	Fixed parsing of types.	2017-06-19 00:14:01 +02:00
patrick	a6babf3e90	Reimplemented major parts of parsing preconditions.	2017-06-19 00:13:48 +02:00
patrick	62b9da844a	Started reimplementing expression parsing.	2017-06-19 00:13:43 +02:00
patrick	fa9fd0935b	Made error message more precise.	2017-06-19 00:13:35 +02:00
patrick	1e77a6b043	Added “domain-axioms” as an ignored requirement to increase compatibility.	2017-06-19 00:13:29 +02:00
patrick	216decafc1	Allowing types to be undeclared for increased compatibility.	2017-06-19 00:13:24 +02:00
patrick	849faad134	Added compatibility check for unsupported “in-package” sections.	2017-06-19 00:13:18 +02:00
patrick	a7c4fdb242	Started reimplementing problem parser.	2017-06-19 00:12:51 +02:00
patrick	29f8ee0778	Added parsing utils to skip PDDL sections.	2017-05-17 15:28:58 +02:00
patrick	e312a91632	Renamed tokenizing module for clarity.	2017-05-12 14:17:57 +02:00
patrick	d7db0d8ccd	Started implementing clean, separate PDDL syntax tree and parser.	2017-05-12 13:58:28 +02:00