adt/cnf-evaluator

Package info

github.com/AppsDevTeam/CnfEvaluator

pkg:composer/adt/cnf-evaluator

Statistics

Installs: 14 402

Dependents: 0

Suggesters: 0

Stars: 0

Open Issues: 0

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

Requires

None

Requires (Dev)

None

Suggests

None

Provides

None

Conflicts

None

Replaces

None

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

nettecnfConjunctive normal form

This package is auto-updated.

Last update: 2026-06-26 12:38:48 UTC


README

Cnf = Conjunctive normal form.
Komponenta na vyhodnocování konjunktní normální formy. Projde pole opravdových hodnot a pole boolean hodnot jednotlivých callbacků, pokud se jednotlivá pole shodují, provede callback.

Installation

The best way to install is using Composer:

$ composer require adt/cnf-evaluator

Usage

$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();