50 Commits

Author	SHA1	Message	Date
Patrick Lühne	dd51f2b4fd	Added missing const directive.	2017-06-24 15:53:16 +02:00
Patrick Lühne	d7e0beabdf	Implemented normalization of preconditions.	2017-06-24 14:29:13 +02:00
Patrick Lühne	9d1a8f4c0f	Started implementing PDDL normalization.	2017-06-23 04:18:07 +02:00
Patrick Lühne	e4f4b5e066	Added initial normalized PDDL debug output functionality.	2017-06-23 03:54:51 +02:00
Patrick Lühne	19f2c2ebf8	Added missing forward declaration.	2017-06-23 03:53:01 +02:00
Patrick Lühne	2851f8d286	Corrected grammar of initial state facts.	2017-06-23 03:41:52 +02:00
Patrick Lühne	9360ad3487	Added missing forward declaration.	2017-06-23 02:31:07 +02:00
Patrick Lühne	c0b71290a4	Minor formatting in PDDL debug output.	2017-06-23 01:48:47 +02:00
Patrick Lühne	3d9bf2582f	Fixed format of PDDL debug output.	2017-06-23 01:22:28 +02:00
Patrick Lühne	cbc9c86edd	Removed unnecessary include directives.	2017-06-23 00:58:58 +02:00
Patrick Lühne	480da6ff09	Built initial AST for normalized PDDL.	2017-06-23 00:51:09 +02:00
Patrick Lühne	834209d506	Moved common output utilities to separate header.	2017-06-23 00:50:19 +02:00
Patrick Lühne	ef606f3d9b	Merge branch 'develop' of github.com:potassco/plasp into feature-normalization	2017-06-22 23:45:15 +02:00
Patrick Lühne	b5131fa00d	Added debug output functions for PDDL AST.	2017-06-22 23:19:49 +02:00
Patrick Lühne	768afa9bf5	Added to-do.	2017-06-22 23:19:17 +02:00
Patrick Lühne	59dc239c67	Removed unused class.	2017-06-22 23:18:43 +02:00
Patrick Lühne	b7b4d926b4	Removed unused declarations.	2017-06-22 00:03:35 +02:00
Patrick Lühne	39c0e27cb2	Refactoring of tokenizer and stream classes for better efficiency and maintainability.	2017-06-21 02:56:27 +02:00
Patrick Lühne	4c0583c91f	Refactored tokenizer to lazily evaluate file locations.	2017-06-19 00:18:02 +02:00
Patrick Lühne	6ce4eecb18	Implemented predicate signature checks.	2017-06-19 00:18:02 +02:00
Patrick Lühne	04ded5e8b8	Removed unnecessary include directive.	2017-06-19 00:18:02 +02:00
Patrick Lühne	b0db73ab2f	Added to-do.	2017-06-19 00:18:01 +02:00
Patrick Lühne	615167e7cd	Implemented compatibility mode to support old instances.	2017-06-19 00:18:01 +02:00
Patrick Lühne	dde277cc3e	Added to-do.	2017-06-19 00:18:01 +02:00
Patrick Lühne	7ead2277e8	Prepared exceptions to have different types.	2017-06-19 00:18:01 +02:00
Patrick Lühne	f90009b6d1	Reimplemented initial state parser.	2017-06-19 00:15:32 +02:00
Patrick Lühne	d376c1a993	Allowing atomic formulas and not just predicates in preconditions and effects.	2017-06-19 00:15:11 +02:00
Patrick Lühne	10e658a922	Added back support for parsing effects and even conditional effects.	2017-06-19 00:15:07 +02:00
Patrick Lühne	9c30e27875	Fixed incorrect parsing method for “when” expressions.	2017-06-19 00:15:04 +02:00
Patrick Lühne	51249fd678	Refactored parsing variables, constants, and predicates.	2017-06-19 00:14:40 +02:00
Patrick Lühne	0de5b9eb56	Added to-do.	2017-06-19 00:14:36 +02:00
Patrick Lühne	78b4636028	Continued working on reimplementing action parser.	2017-06-19 00:14:18 +02:00
Patrick Lühne	1876d1fe0b	Fixed parsing of types.	2017-06-19 00:14:01 +02:00
Patrick Lühne	a6babf3e90	Reimplemented major parts of parsing preconditions.	2017-06-19 00:13:48 +02:00
Patrick Lühne	62b9da844a	Started reimplementing expression parsing.	2017-06-19 00:13:43 +02:00
Patrick Lühne	1e77a6b043	Added “domain-axioms” as an ignored requirement to increase compatibility.	2017-06-19 00:13:29 +02:00
Patrick Lühne	a7c4fdb242	Started reimplementing problem parser.	2017-06-19 00:12:51 +02:00
Patrick Lühne	06b9632b70	Removed unused flags.	2017-05-18 15:55:20 +02:00
Patrick Lühne	94dd209e5e	Linking constants to their declarations by reference instead of pointer.	2017-05-17 20:21:34 +02:00
Patrick Lühne	5d65cc3100	Added missing include directive.	2017-05-17 20:21:20 +02:00
Patrick Lühne	2042d6329d	Hiding implementation details in variant classes.	2017-05-17 20:09:07 +02:00
Patrick Lühne	ff1d582605	Removed unwanted copy constructor.	2017-05-17 20:00:01 +02:00
Patrick Lühne	b3fd49ef97	Removed duplicate entry from predicates.	2017-05-17 19:59:32 +02:00
Patrick Lühne	8a103ea89d	Added class for PDDL parser exceptions.	2017-05-17 15:29:51 +02:00
Patrick Lühne	29f8ee0778	Added parsing utils to skip PDDL sections.	2017-05-17 15:28:58 +02:00
Patrick Lühne	5f240b632a	Added default constructors to AST structs.	2017-05-17 14:29:00 +02:00
Patrick Lühne	d711fcd0f1	Removed unneeded class.	2017-05-12 14:31:26 +02:00
Patrick Lühne	e312a91632	Renamed tokenizing module for clarity.	2017-05-12 14:17:57 +02:00
Patrick Lühne	c10187f6ba	Minor refactoring to simplify parser classes.	2017-05-12 13:58:28 +02:00
Patrick Lühne	d7db0d8ccd	Started implementing clean, separate PDDL syntax tree and parser.	2017-05-12 13:58:28 +02:00