phptailors/logic

一阶逻辑

维护者

详细信息

github.com/phptailors/logic

源代码

问题

安装: 1

依赖: 0

建议者: 0

安全: 0

星标: 0

关注者: 1

分支: 0

dev-master 2024-06-07 01:12 UTC

Requires

  • php: ^8.3
  • ext-pcre: *

Requires (Dev)

MIT bd9d447de7c624bbee9fdfbb4d3e9915e2a760ba

  • Paweł Tomulik <pawel.woop@tomulik.pl>

This package is auto-updated.

Last update: 2024-09-07 21:18:15 UTC

README

Unit Tests Code Quality Docs Tests Docs Deploy Type Coverage Code Coverage

逻辑

PHP中的一阶逻辑实现

开发中

项目处于初期阶段。尚未发布任何版本！

快速介绍

此库允许您构建和评估逻辑表达式。当您需要对用户输入或传递给程序或API的参数/选项施加约束时，可能会发现它很有用。

示例

<?php
use Tailors\Logic\Logic;

$l = new Logic();

$formula = $l->and($l->bool($l->var('a')), $l->bool($l->var('b')));

var_export($formula->expressionString()); echo "\n";
var_export($formula->evaluate(['a' => 1, 'b' => true])); echo "\n";
var_export($formula->evaluate(['a' => true, 'b' => 0])); echo "\n";

上述结果为

'bool(a) && bool(b)'
true
false

在线文档