| 
						
					 | 
					
						
						
							
						
						a1b93624d6
					 | 
					
						
						
							
							Fixed accepting std::cin input when omitting input file arguments.
						
						
						
						
						
						
					 | 
					
						2016-06-08 00:06:54 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						69ff84eecc
					 | 
					
						
						
							
							Added efficient probing functions to Parser.
						
						
						
						
						
						
					 | 
					
						2016-06-08 00:02:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						78889e18c6
					 | 
					
						
						
							
							Fixed accidentally removed std::cin support.
						
						
						
						
						
						
					 | 
					
						2016-06-07 23:31:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fa178d5ee1
					 | 
					
						
						
							
							Fixed SAS file input bug.
						
						
						
						
						
						
					 | 
					
						2016-06-07 20:59:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						eea3272c56
					 | 
					
						
						
							
							Made Parser seekable for easier maintenance.
						
						
						
						
						
						
					 | 
					
						2016-06-07 18:41:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						27e76fc035
					 | 
					
						
						
							
							Added check that typing requirement is not added by PDDL problem.
						
						
						
						
						
						
					 | 
					
						2016-06-07 16:34:15 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						188165bc4d
					 | 
					
						
						
							
							Added fix for gcc.
						
						
						
						
						
						
					 | 
					
						2016-06-07 16:14:35 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e6ddad5960
					 | 
					
						
						
							
							Checking that all variables in predicates have types if and only if typing is enabled.
						
						
						
						
						
						
					 | 
					
						2016-06-07 16:11:12 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4228ca01dc
					 | 
					
						
						
							
							Implemented multi-file input.
						
						
						
						
						
						
					 | 
					
						2016-06-07 15:54:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						64190ba55a
					 | 
					
						
						
							
							Added more tests for PDDL actions.
						
						
						
						
						
						
					 | 
					
						2016-06-07 14:07:17 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c489c7fd5a
					 | 
					
						
						
							
							Added tests for PDDL actions.
						
						
						
						
						
						
					 | 
					
						2016-06-07 14:00:29 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						acc063822e
					 | 
					
						
						
							
							Minor formatting in PDDL parser tests.
						
						
						
						
						
						
					 | 
					
						2016-06-07 13:40:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b612122180
					 | 
					
						
						
							
							Refactoring to make parsing expressions consistent across PDDL domains and problems.
						
						
						
						
						
						
					 | 
					
						2016-06-07 13:26:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d5fa00a4a4
					 | 
					
						
						
							
							Started parsing initial state and object sections.
						
						
						
						
						
						
					 | 
					
						2016-06-06 15:18:06 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e607ca4e8e
					 | 
					
						
						
							
							Refactored PDDL parser to make all input case-insensitive.
						
						
						
						
						
						
					 | 
					
						2016-06-04 18:28:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d64c68f754
					 | 
					
						
						
							
							Improved error message.
						
						
						
						
						
						
					 | 
					
						2016-06-04 18:21:42 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e5bf7d754f
					 | 
					
						
						
							
							Refactored expression parsing.
						
						
						
						
						
						
					 | 
					
						2016-06-04 18:12:41 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0e739755b7
					 | 
					
						
						
							
							Making References transparent by forwarding visitors to their referee.
						
						
						
						
						
						
					 | 
					
						2016-06-04 18:08:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f8eab1cbb6
					 | 
					
						
						
							
							Removed unnecessary includes.
						
						
						
						
						
						
					 | 
					
						2016-06-04 18:07:57 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0f2c81f894
					 | 
					
						
						
							
							Added to-dos.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:55:17 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e481732fae
					 | 
					
						
						
							
							Started implementation of PDDL problem parser.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:53:42 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ee597c805e
					 | 
					
						
						
							
							Added to-do.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:52:37 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e561c55f73
					 | 
					
						
						
							
							Made Action section parsing case-insensitive.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:51:21 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2870bc6434
					 | 
					
						
						
							
							Made section identifier parsing case-insensitive.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:47:41 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e60631840
					 | 
					
						
						
							
							Refactored Requirement parsing.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:47:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f2a1528ea9
					 | 
					
						
						
							
							Fixed determination of default requirement (STRIPS).
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:28:52 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						21af7e9983
					 | 
					
						
						
							
							Removed unnecessary include.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:22:57 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4ae37603f4
					 | 
					
						
						
							
							Added support for Imply expression.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:20:25 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						30b4a1f614
					 | 
					
						
						
							
							Made include guards consistent.
						
						
						
						
						
						
					 | 
					
						2016-06-04 17:10:50 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2797b58646
					 | 
					
						
						
							
							Added missing ParserWarning file.
						
						
						
						
						
						
					 | 
					
						2016-06-04 16:45:14 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						837612bb8d
					 | 
					
						
						
							
							Made type warnings non-fatal by default.
						
						
						
						
						
						
					 | 
					
						2016-06-04 16:42:41 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						813fecbf15
					 | 
					
						
						
							
							Removed now unnecessary Parser function arguments.
						
						
						
						
						
						
					 | 
					
						2016-06-04 16:24:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a776fc9e06
					 | 
					
						
						
							
							Put Parser into Context.
						
						
						
						
						
						
					 | 
					
						2016-06-04 16:10:11 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						08eb14e400
					 | 
					
						
						
							
							Made section parsing function names consistent.
						
						
						
						
						
						
					 | 
					
						2016-06-04 15:07:18 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						60c072a2b3
					 | 
					
						
						
							
							Clean-up.
						
						
						
						
						
						
					 | 
					
						2016-06-04 15:06:04 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						feedb95295
					 | 
					
						
						
							
							Turned exception about undeclared types into a consistency warning.
						
						
						
						
						
						
					 | 
					
						2016-06-04 15:04:18 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c93661f44e
					 | 
					
						
						
							
							Finished refactoring of expressions.
						
						
						
						
						
						
					 | 
					
						2016-06-04 14:46:05 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						daa063c338
					 | 
					
						
						
							
							Big refactoring (build still broken).
						
						
						
						
						
						
					 | 
					
						2016-06-03 17:12:39 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5abf1f8a84
					 | 
					
						
						
							
							Removed obsolete Variable class.
						
						
						
						
						
						
					 | 
					
						2016-06-03 13:37:23 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						133aa051eb
					 | 
					
						
						
							
							Shortened Expression class names.
						
						
						
						
						
						
					 | 
					
						2016-06-03 13:33:05 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d334b4150b
					 | 
					
						
						
							
							Started refactoring Variables as expressions.
						
						
						
						
						
						
					 | 
					
						2016-06-03 13:21:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						36e28994ee
					 | 
					
						
						
							
							Updated change log.
						
						
						
						
						
						
					 | 
					
						2016-06-03 00:19:05 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						01908c52f8
					 | 
					
						
						
							
							Merge branch 'master' of github.com:potassco/plasp into develop
						
						
						
						
						
						
					 | 
					
						2016-06-03 00:15:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f9463d629a
					 | 
					
						
						
							
							Added Travis badge for develop branch to readme file.
						
						
						
						
						
						
					 | 
					
						2016-06-03 00:14:51 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						50315f5fae
					 | 
					
						
						
							
							Relaxing white space requirements.
						
						
						
						
						
						
					 | 
					
						2016-06-02 23:41:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8817a3f226
					 | 
					
						
						
							
							Fixed whitespace parsing issue.
						
						
						
						
						
						
					 | 
					
						2016-06-02 22:47:25 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fcde9c9b6b
					 | 
					
						
						
							
							Finished basic support for action parsing.
						
						
						
						
						
						
					 | 
					
						2016-06-02 22:31:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fb5a5a71a5
					 | 
					
						
						
							
							Removed unnecessary include.
						
						
						
						
						
						
					 | 
					
						2016-06-02 21:56:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8134c6af80
					 | 
					
						
						
							
							Started parsing action effects.
						
						
						
						
						
						
					 | 
					
						2016-06-02 21:53:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7271a5e52b
					 | 
					
						
						
							
							Implemented predicate expressions.
						
						
						
						
						
						
					 | 
					
						2016-06-02 18:31:47 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |