通过
搜索
搜索prinsfrank / aristotle
ADRL 命令行界面
v0.2.1
2024-04-15 19:30 UTC
Requires
- php: ^8.1 || ^8.2 || ^8.3
- composer-runtime-api: ^2.2
- prinsfrank/adrl-parser: ^0.0.1
- prinsfrank/enums: ^1.2
- symfony/console: ^7.0
Requires (Dev)
- friendsofphp/php-cs-fixer: ^3.51
- phpstan/phpstan-strict-rules: ^1.5
- phpunit/phpunit: ^11.0
README
一个高效的辩论 ADRL 命令行界面
命令
前提
要添加前提，运行以下命令；
vendor/bin/aristotle premise unique_identifier
vendor/bin/aristotle premise unique_identifier "Optional Label"
结论
要添加结论，运行以下命令；
vendor/bin/aristotle conclusion unique_identifier
vendor/bin/aristotle conclusion unique_identifier "Optional Label"
有效
要将结论标记为有效，运行以下命令；
vendor/bin/aristotle valid unique_identifier
vendor/bin/aristotle valid unique_identifier "Optional Label"
无效
要将结论标记为无效，运行以下命令；
vendor/bin/aristotle invalid unique_identifier
vendor/bin/aristotle invalid unique_identifier "Optional Label"
假
要将前提标记为假，运行以下命令；
vendor/bin/aristotle false unique_identifier vendor/bin/aristotle false unique_identifier "Optional Label"
真
要将前提标记为真，运行以下命令；
vendor/bin/aristotle true unique_identifier vendor/bin/aristotle true unique_identifier "Optional Label"