adt/cnf-evaluator

维护者

详情

github.com/AppsDevTeam/CnfEvaluator

源代码

问题

安装次数: 9,357

依赖: 0

建议者: 0

安全性: 0

星标: 0

关注者: 16

分支: 0

公开问题: 0

v1.0 2018-12-30 21:47 UTC

BSD-3-Clause, GPL-2.0, GPL-3.0 54e5c6eac72e49d4cd54fb986cc80b03df01716d

nettecnfConjunctive normal form

This package is auto-updated.

Last update: 2024-09-26 08:48:12 UTC

README

Cnf = 合取范式。
用于评估合取范式的组件。它会遍历真实值数组以及各个回调的布尔值数组，如果数组相同，则执行回调。

安装

最佳安装方式是使用 Composer

$ composer require adt/cnf-evaluator

使用方法

$cnf = new CnfEvaluator();

$cnf->addCallback(function() {
		...
	}, [
		"condition1" => TRUE,
		"condition2" => TRUE,
		"condition4" => FALSE,
]);

$cnf->addCallback(function() {
		...
	}, [
		"condition1" => TRUE,
		"condition2" => TRUE,
		"condition4" => FALSE,
]);

$cnf->setRealValues([
	"condition1" => TRUE,
	"condition2" => FALSE,
	"condition3" => TRUE,
	"condition4" => FALSE,
]);

$cnf->process();