| 
						
					 | 
					
						
						
							
						
						39b885c47c
	
				 
					 | 
					
						
						
							
							Handling effects in PDDL normalization step.
						
						
						
						
						
						
					 | 
					
						2017-06-27 22:32:49 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						da85683f7c
	
				 
					 | 
					
						
						
							
							Changed effects in normalized PDDL effects according to recent changes.
						
						
						
						
						
						
					 | 
					
						2017-06-27 18:17:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0beab67bd4
	
				 
					 | 
					
						
						
							
							Made effect variant more concise.
						
						
						
						
						
						
					 | 
					
						2017-06-27 17:50:42 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4622f31fa4
	
				 
					 | 
					
						
						
							
							Made conditional effect variant more concise.
						
						
						
						
						
						
					 | 
					
						2017-06-27 17:43:00 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ca02b8ce62
	
				 
					 | 
					
						
						
							
							Throwing exceptions for unsupported features instead of silently accepting them.
						
						
						
						
						
						
					 | 
					
						2017-06-24 20:27:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						939c2c735c
	
				 
					 | 
					
						
						
							
							Explicitly deleted default constructors of all variant types to avoid future errors.
						
						
						
						
						
						
					 | 
					
						2017-06-24 17:17:27 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						287e1041bd
	
				 
					 | 
					
						
						
							
							Added missing inline directive.
						
						
						
						
						
						
					 | 
					
						2017-06-24 16:51:45 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9845c5ae9e
	
				 
					 | 
					
						
						
							
							Added missing parentheses in PDDL output.
						
						
						
						
						
						
					 | 
					
						2017-06-24 16:33:42 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7ae2734e9f
	
				 
					 | 
					
						
						
							
							Started implementing reduction, added support for “imply” expressions.
						
						
						
						
						
						
					 | 
					
						2017-06-24 16:03:32 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						079e2ac539
	
				 
					 | 
					
						
						
							
							Printing arguments of “not” expressions on the same line for clarity.
						
						
						
						
						
						
					 | 
					
						2017-06-24 16:00:50 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aeb8132fc7
	
				 
					 | 
					
						
						
							
							Added missing inline directives.
						
						
						
						
						
						
					 | 
					
						2017-06-24 15:53:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dd51f2b4fd
	
				 
					 | 
					
						
						
							
							Added missing const directive.
						
						
						
						
						
						
					 | 
					
						2017-06-24 15:53:16 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d7e0beabdf
	
				 
					 | 
					
						
						
							
							Implemented normalization of preconditions.
						
						
						
						
						
						
					 | 
					
						2017-06-24 14:29:13 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d1a8f4c0f
	
				 
					 | 
					
						
						
							
							Started implementing PDDL normalization.
						
						
						
						
						
						
					 | 
					
						2017-06-23 04:18:07 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e4f4b5e066
	
				 
					 | 
					
						
						
							
							Added initial normalized PDDL debug output functionality.
						
						
						
						
						
						
					 | 
					
						2017-06-23 03:54:51 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						19f2c2ebf8
	
				 
					 | 
					
						
						
							
							Added missing forward declaration.
						
						
						
						
						
						
					 | 
					
						2017-06-23 03:53:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2851f8d286
	
				 
					 | 
					
						
						
							
							Corrected grammar of initial state facts.
						
						
						
						
						
						
					 | 
					
						2017-06-23 03:41:52 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9360ad3487
	
				 
					 | 
					
						
						
							
							Added missing forward declaration.
						
						
						
						
						
						
					 | 
					
						2017-06-23 02:31:07 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c0b71290a4
	
				 
					 | 
					
						
						
							
							Minor formatting in PDDL debug output.
						
						
						
						
						
						
					 | 
					
						2017-06-23 01:48:47 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d9bf2582f
	
				 
					 | 
					
						
						
							
							Fixed format of PDDL debug output.
						
						
						
						
						
						
					 | 
					
						2017-06-23 01:22:28 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cbc9c86edd
	
				 
					 | 
					
						
						
							
							Removed unnecessary include directives.
						
						
						
						
						
						
					 | 
					
						2017-06-23 00:58:58 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						480da6ff09
	
				 
					 | 
					
						
						
							
							Built initial AST for normalized PDDL.
						
						
						
						
						
						
					 | 
					
						2017-06-23 00:51:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						834209d506
	
				 
					 | 
					
						
						
							
							Moved common output utilities to separate header.
						
						
						
						
						
						
					 | 
					
						2017-06-23 00:50:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ef606f3d9b
	
				 
					 | 
					
						
						
							
							Merge branch 'develop' of github.com:potassco/plasp into feature-normalization
						
						
						
						
						
						
					 | 
					
						2017-06-22 23:45:15 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5131fa00d
	
				 
					 | 
					
						
						
							
							Added debug output functions for PDDL AST.
						
						
						
						
						
						
					 | 
					
						2017-06-22 23:19:49 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						768afa9bf5
	
				 
					 | 
					
						
						
							
							Added to-do.
						
						
						
						
						
						
					 | 
					
						2017-06-22 23:19:17 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						59dc239c67
	
				 
					 | 
					
						
						
							
							Removed unused class.
						
						
						
						
						
						
					 | 
					
						2017-06-22 23:18:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b7b4d926b4
	
				 
					 | 
					
						
						
							
							Removed unused declarations.
						
						
						
						
						
						
					 | 
					
						2017-06-22 00:03:35 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						39c0e27cb2
	
				 
					 | 
					
						
						
							
							Refactoring of tokenizer and stream classes for better efficiency and maintainability.
						
						
						
						
						
						
					 | 
					
						2017-06-21 02:56:27 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c0583c91f
	
				 
					 | 
					
						
						
							
							Refactored tokenizer to lazily evaluate file locations.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:18:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6ce4eecb18
	
				 
					 | 
					
						
						
							
							Implemented predicate signature checks.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:18:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						04ded5e8b8
	
				 
					 | 
					
						
						
							
							Removed unnecessary include directive.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:18:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b0db73ab2f
	
				 
					 | 
					
						
						
							
							Added to-do.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:18:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						615167e7cd
	
				 
					 | 
					
						
						
							
							Implemented compatibility mode to support old instances.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:18:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dde277cc3e
	
				 
					 | 
					
						
						
							
							Added to-do.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:18:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7ead2277e8
	
				 
					 | 
					
						
						
							
							Prepared exceptions to have different types.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:18:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f90009b6d1
	
				 
					 | 
					
						
						
							
							Reimplemented initial state parser.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:15:32 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d376c1a993
	
				 
					 | 
					
						
						
							
							Allowing atomic formulas and not just predicates in preconditions and effects.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:15:11 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						10e658a922
	
				 
					 | 
					
						
						
							
							Added back support for parsing effects and even conditional effects.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:15:07 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9c30e27875
	
				 
					 | 
					
						
						
							
							Fixed incorrect parsing method for “when” expressions.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:15:04 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						51249fd678
	
				 
					 | 
					
						
						
							
							Refactored parsing variables, constants, and predicates.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:14:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0de5b9eb56
	
				 
					 | 
					
						
						
							
							Added to-do.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:14:36 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						78b4636028
	
				 
					 | 
					
						
						
							
							Continued working on reimplementing action parser.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:14:18 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1876d1fe0b
	
				 
					 | 
					
						
						
							
							Fixed parsing of types.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:14:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a6babf3e90
	
				 
					 | 
					
						
						
							
							Reimplemented major parts of parsing preconditions.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:13:48 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62b9da844a
	
				 
					 | 
					
						
						
							
							Started reimplementing expression parsing.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:13:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1e77a6b043
	
				 
					 | 
					
						
						
							
							Added “domain-axioms” as an ignored requirement to increase compatibility.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:13:29 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a7c4fdb242
	
				 
					 | 
					
						
						
							
							Started reimplementing problem parser.
						
						
						
						
						
						
					 | 
					
						2017-06-19 00:12:51 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						06b9632b70
	
				 
					 | 
					
						
						
							
							Removed unused flags.
						
						
						
						
						
						
					 | 
					
						2017-05-18 15:55:20 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						94dd209e5e
	
				 
					 | 
					
						
						
							
							Linking constants to their declarations by reference instead of pointer.
						
						
						
						
						
						
					 | 
					
						2017-05-17 20:21:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |