Made translator descriptions more concise.
This commit is contained in:
parent
5af0c26650
commit
23130134bb
@ -5,7 +5,7 @@
|
|||||||
### Changes
|
### Changes
|
||||||
|
|
||||||
* introduces new command-line interface based on `plasp` subcommands:
|
* introduces new command-line interface based on `plasp` subcommands:
|
||||||
* `plasp translate`: translate PDDL and SAS to ASP (replaces former, plain `plasp` calls)
|
* `plasp translate`: translate PDDL and SAS to ASP facts (replaces former, plain `plasp` calls)
|
||||||
* `plasp normalize`: normalize PDDL to plasp’s custom PDDL format
|
* `plasp normalize`: normalize PDDL to plasp’s custom PDDL format
|
||||||
* `plasp check-syntax`: check the syntax of PDDL specifications
|
* `plasp check-syntax`: check the syntax of PDDL specifications
|
||||||
* `plasp beautify`: cleanly format PDDL specifications
|
* `plasp beautify`: cleanly format PDDL specifications
|
||||||
|
@ -14,7 +14,7 @@ class CommandTranslate : public Command<CommandTranslate, OptionGroupBasic, Opti
|
|||||||
{
|
{
|
||||||
public:
|
public:
|
||||||
static constexpr auto Name = "translate";
|
static constexpr auto Name = "translate";
|
||||||
static constexpr auto Description = "Translate PDDL and SAS to ASP";
|
static constexpr auto Description = "Translate PDDL and SAS to ASP facts";
|
||||||
|
|
||||||
public:
|
public:
|
||||||
int run(int argc, char **argv);
|
int run(int argc, char **argv);
|
||||||
|
@ -3,7 +3,7 @@ pkgname=plasp
|
|||||||
pkgver=3.0.3
|
pkgver=3.0.3
|
||||||
pkgrel=1
|
pkgrel=1
|
||||||
epoch=
|
epoch=
|
||||||
pkgdesc="A translator from PDDL to ASP"
|
pkgdesc="ASP planning tools for PDDL"
|
||||||
arch=('x86_64' 'i686')
|
arch=('x86_64' 'i686')
|
||||||
url="https://github.com/potassco/plasp"
|
url="https://github.com/potassco/plasp"
|
||||||
license=('MIT')
|
license=('MIT')
|
||||||
|
Reference in New Issue
Block a user