Patrick Lühne
2288fa891e
Replacing user-defined variable names.
...
This replaces all user-defined variable names with continuously numbered
ones so that they don’t lead to syntax problems in ASP, while still
unique and distinguishable. For instance, this avoids problems when
variable names contain hyphens, which are allowed in PDDL identifiers
but not in ASP variables.
2017-11-25 00:37:09 +01:00
Patrick Lühne
b21b4f47bf
Made form of variables within values consistent.
...
Previously, variables referenced within values were unpacked within
values. This was inconsistent, because all predicates are usually used
in their unpacked form in the rest of the output format. This commit
makes this consistent by using variables in their packed form within
values, making it more compact to handle them.
2017-11-03 01:49:24 +01: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
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
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
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
9199b68080
Renamed “pddlparse” library to simply “pddl”.
2017-08-09 17:52:50 +02:00
Patrick Lühne
b282225363
Moved util predicates to separate section.
2017-06-28 01:00:36 +02:00
Patrick Lühne
a5038535f4
Added missing argument to ASP predicate.
2017-06-28 00:35:28 +02:00
Patrick Lühne
d82ae8544b
Implemented translation of conditional PDDL effects.
2017-06-28 00:33:00 +02:00
Patrick Lühne
f61cfa532d
Added support for unconditional “forall” effect statements.
2017-06-27 23:17:32 +02:00
Patrick Lühne
0eff8e5dcf
Only enumerating existentially bound parameters for “and” expressions.
2017-06-27 16:52:50 +02:00
Patrick Lühne
6c9ca0ccb8
Implemented translation of derived predicates.
2017-06-24 23:54:57 +02:00
Patrick Lühne
9d1a8f4c0f
Started implementing PDDL normalization.
2017-06-23 04:18:07 +02:00
Patrick Lühne
2851f8d286
Corrected grammar of initial state facts.
2017-06-23 03:41:52 +02:00
Patrick Lühne
e93085d88a
Moved color logging to separate library for reusing it in PDDL parser.
2017-06-22 20:58:31 +02:00
Patrick Lühne
002f875c53
Lowered default message logging priority to info.
2017-06-21 03:05:37 +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
e345fd60fd
Reimplemented plasp with PDDL parsing library.
2017-06-20 01:53:55 +02:00
Patrick Lühne
586e93190c
Made plasp compatible to recent tokenizer changes.
2017-06-19 00:28:17 +02:00
Patrick Lühne
e312a91632
Renamed tokenizing module for clarity.
2017-05-12 14:17:57 +02:00
Patrick Lühne
ebcf263abd
Removed unnecessary boost::filesystem dependency.
2017-05-09 15:11:35 +02:00
Patrick Lühne
27c6b69874
Moved basic parsing to a separate module.
2017-05-09 15:05:59 +02:00
Patrick Lühne
88cb8f4516
Improved CMake structure.
2017-05-09 13:01:10 +02:00
Patrick Lühne
9c9995380e
Resolved compiler warnings with clang.
2017-05-09 13:00:44 +02:00
Patrick Lühne
0b31d8d56c
Fixed bugs related in decomposition of expressions.
2016-12-08 02:54:28 +01:00
Patrick Lühne
586f53a788
Restructured functions related to translation of predicates.
2016-12-08 01:27:38 +01:00
Patrick Lühne
8587aa23c4
Put functions related to translation of variables in separate file.
2016-12-08 01:05:39 +01:00
Patrick Lühne
66cb09c8e4
Fixed incorrect auxiliary rule for derived predicates.
2016-12-08 00:54:13 +01:00
Patrick Lühne
6355921e59
Implemented preconditions for derived predicates.
2016-12-08 00:52:09 +01:00
Patrick Lühne
4172d320e4
Cleaned up output of translated derived predicates.
2016-12-07 23:26:46 +01:00
Patrick Lühne
a8ba375e36
Implemented printing body of derived predicate definition rules.
2016-12-07 02:58:25 +01:00
Patrick Lühne
2334686c59
Renamed arguments to parameters in predicate declarations.
2016-12-07 02:55:44 +01:00
Patrick Lühne
ebab65e233
Refactoring to avoid dynamic casts.
2016-12-07 02:29:48 +01:00
Patrick Lühne
692d3fe83a
Refactoring to avoid checking expression types via type enum.
2016-12-07 02:11:54 +01:00
Patrick Lühne
3b110c0b8a
Started implementing translation for derived predicates.
2016-12-07 01:56:06 +01:00
Patrick Lühne
c1340f6297
Merge branch 'develop' of github.com:potassco/plasp into normalization
2016-12-02 01:16:22 +01:00
Patrick Lühne
9e1cdaaa51
Implemented new command-line options replacing --warning-level.
2016-12-01 17:18:58 +01:00
Patrick Lühne
c4e19dddae
Refactoring to use cleaner output implementation.
2016-11-29 06:03:05 +01:00
Patrick Lühne
8b069d8149
Minor formatting.
2016-11-29 02:11:43 +01:00
Patrick Lühne
f4efb4f3d4
Improved command-line interface.
2016-11-29 02:05:01 +01:00
Patrick Lühne
0ca51236bd
Added unique ID to derived predicates for easier translation.
2016-09-09 17:08:31 +02:00
Patrick Lühne
a62cc8b3b9
Started implementing derived predicates for decomposing complex PDDL conditions.
2016-09-09 16:42:16 +02:00
Patrick Lühne
cc0b9726ed
Added to-do.
2016-09-09 13:38:15 +02:00
Patrick Lühne
9cccba42e0
Implemented parsing conditional effects.
2016-09-08 15:56:30 +02:00
Patrick Lühne
4fc9b35c13
Implemented disjunctive normal form.
2016-09-08 03:42:32 +02:00
Patrick Lühne