patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity
822 Commits 2 Branches 8 Tags 7.3 MiB
Commit Graph

822 Commits

Author SHA1 Message Date
Patrick Lühne 021e6c439c
Removed Boost packages from Travis configuration. 
As the Boost dependency isn’t required anymore, this commit removes the
Boost packages from the Travis configuration.
 2017-10-28 16:50:45 +02:00
Patrick Lühne e87f86af95
Removed Boost dependency in assertions. 
Instead of using BOOST_ASSERT, this commit changes all assertions to
plain C-style assertions in order to drop the dependency to Boost.
 2017-10-28 16:49:15 +02:00
Patrick Lühne ca7ae883ee
Removed Boost dependency in unit tests. 
Some of the unit tests depended on Boost’s null_sink to redirect the
unwanted test output to /dev/null. This commit adds a simple
NullOutputStream as a replacement and removes the obsolete Boost
includes.
 2017-10-28 16:45:29 +02:00
Patrick Lühne 72fc7493b2
Removed Boost dependency in language distinction. 
As Boost isn’t used in the rest of this project anymore, this commit
removes the unnecessary dependency to boost::bimap just for language
detection, and replaces it with a simple std::map instead.
 2017-10-28 15:44:37 +02:00
Patrick Lühne 1631a70a0b
Ensuring that goal is variable-free. 
Even though the parser shouldn’t be able to put variables into the goal
description, the AST theoretically allows for this case. This commit
adds a defensive check that goal descriptions are variable-free.
 2017-10-27 17:10:35 +02:00
Patrick Lühne 27f773e091
Added support for derived predicates in goals. 
By accident, the support for derived predicates in goals was missing.
This commit adds this, in a very similar way to how normal predicates
are handled in the goal description.
 2017-10-27 16:46:38 +02:00
Patrick Lühne 6d07fcbd6c
Moved initial state translation to new header. 2017-10-27 16:38:01 +02:00
Patrick Lühne 6415f871d7
Error for derived predicates in initial state. 
Previously, derived predicates in the initial state weren’t handled at
all. That’s not an issue, because derived predicates shouldn’t occur in
the initial state. However, as a defensive measure, this commit adds an
error thrown in such cases.
 2017-10-27 16:27:33 +02:00
Patrick Lühne feaef5a3fa
Translating derived predicates of problems. 
While derived predicates stemming from the domain were already
translated, the ones from the problem were missing. This commit fixes
that, although it duplicates the definition of “contains.”
 2017-10-27 16:21:54 +02:00
Patrick Lühne 624ddc38aa
Fixed incorrect derived predicate IDs in problems. 
The IDs of derived predicates within problems were accidentally starting
with 1 again, colliding with the IDs of derived predicates in the
domain. With this fix, the IDs are continuously incremented, even after
switching from domain to problem.
 2017-10-25 19:01:11 +02:00
Patrick Lühne 9803710ff3
Fixed typo. 2017-10-25 19:00:54 +02:00
Patrick Lühne 4d8525f52d
Added comment for consistency. 2017-10-25 18:03:11 +02:00
Patrick Lühne d0b7f89925
Removed unwanted newlines at the end of output. 2017-10-25 17:01:19 +02:00
Patrick Lühne 032fa14f61
Updated tagline to match plasp’s recently extended tool set. 2017-10-14 02:37:46 +02:00
Patrick Lühne 8b487b0a82
Structured change log more nicely. 2017-10-14 02:31:04 +02:00
Patrick Lühne f6eed53550
Minor formatting. 2017-10-14 02:13:47 +02:00
Patrick Lühne cb61f7cc5e
Making command-line options in change log more specific. 2017-10-14 02:13:47 +02:00
Patrick Lühne 5ec4dd2aaf
Added new commands to the change log. 2017-10-14 02:13:47 +02:00
Patrick Lühne b8bd42d361
Implemented “check-syntax” command. 2017-10-14 02:13:47 +02:00
Patrick Lühne 89edafb586
Implemented “beautify” command. 2017-10-14 02:13:47 +02:00
Patrick Lühne 0d5245b48b
Showing list of available commands in help message. 2017-10-14 02:13:47 +02:00
Patrick Lühne d20b30d34d
Implemented “normalize” command. 2017-10-14 02:13:47 +02:00
Patrick Lühne b99e7c198a
Refactored “translate” command. 2017-10-14 02:13:46 +02:00
Patrick Lühne c3b6d6939f
Added missing inline directive. 2017-10-14 02:13:46 +02:00
Patrick Lühne 868c220e42
Minor formatting. 2017-10-14 02:13:46 +02:00
Patrick Lühne cde892c771
Added command for printing version information. 2017-10-14 02:13:46 +02:00
Patrick Lühne 974c94fbb0
Unified version printing. 2017-10-14 02:13:46 +02:00
Patrick Lühne 2be3f4256a
Refactored command base class for simplicity. 2017-10-14 02:13:46 +02:00
Patrick Lühne 5427876e36
Added workaround for GCC 6 compiler error. 2017-10-14 02:13:46 +02:00
Patrick Lühne abdc4e31dc
Refactored printing help messages in commands. 2017-10-14 02:13:46 +02:00
Patrick Lühne db7ea6f2fe
Removed unwanted methods. 2017-10-14 02:13:46 +02:00
Patrick Lühne d8b2aa9720
Updated change log with new command interface. 2017-10-14 02:13:46 +02:00
Patrick Lühne 63c4da8fad
Made option group parsing more uniform. 2017-10-14 02:13:46 +02:00
Patrick Lühne 3fe2886925
Updated CMake in Travis configuration for C++17 support. 2017-10-14 02:13:46 +02:00
Patrick Lühne 86486207b8
Added help and version options to the translate command. 2017-10-14 02:13:46 +02:00
Patrick Lühne 569b170aba
Using cxxopts as a submodule. 2017-10-14 02:13:45 +02:00
Patrick Lühne f6c9e19a60
Outsourced parsing of common options in plasp app. 2017-10-14 02:13:45 +02:00
Patrick Lühne 6b891fcb8e
Prepared app directory for future subcommands. 2017-10-14 02:13:45 +02:00
Patrick Lühne 8b6c4beed8 Merge pull request #3 from mgebser/strips 
Support for parallel actions without checking mutual disablement
 2017-10-12 19:27:26 +02:00
mgebser 5e0c8a695c new constant value '_parallel=0' to allow for parallel actions without checking mutual disablement 2017-10-05 20:24:59 +02:00
Patrick Lühne 46cd4de854
Updated changelog with parser support for equalities. 2017-08-31 19:29:54 +02:00
Patrick Lühne 871d3fcdb3
Renamed test suites for clarity. 2017-08-31 19:15:17 +02:00
Patrick Lühne 4ad9355e47
Removed domains from blacklist that are now supported by parser. 2017-08-31 19:08:28 +02:00
Patrick Lühne 1dee4655a7
Minor refactoring. 2017-08-31 19:04:10 +02:00
Patrick Lühne 0a104d222c
Removed unneeded constant parsing functions. 2017-08-31 18:51:27 +02:00
Patrick Lühne 80167fd21b
Removed unneeded variable parsing functions. 2017-08-31 18:48:48 +02:00
Patrick Lühne 7de9980c10
Refactoring to reuse term parsing code. 2017-08-31 18:37:43 +02:00
Patrick Lühne 89f3eb0306
Implemented term parser. 2017-08-31 18:34:34 +02:00
Patrick Lühne 716b4801aa
Added AST representation for “equals” expressions. 2017-08-31 17:54:30 +02:00
Patrick Lühne 9199b68080
Renamed “pddlparse” library to simply “pddl”. 2017-08-09 17:52:50 +02:00