classForest

packages/deriver/src/Deriver/Evaluator/Evidence/Forest.php:15

final class Forest

Restricted visibility: declared "@visibility parent" and "@visibility Deriver\Deriver\Publication". Code outside that scope must not name this declaration.

Collects roots from an unenumerated value DAG without enumerating its combinations.

Methods§

public function __construct(private Provenance $provenance)

source §

Receives the proof ledger belonging to this analysis.

Parameters

$provenance Provenance

public function root(Term $value): Node

source §

Builds a shared proof for a residual expression without enumerating its choices.

Parameters

$value Term

Returns

Node

Test cases 4

Called from 5

Calls 9

function-call array_pop line 38
method-call Provenance::get() line 42
function-call in_array line 54
class-const TermKind::Choice() line 54
class-const TermKind::UnexpandedChoice() line 54
new Node line 55
class-const EvidenceKind::Choice() line 55
class-const EvidenceKind::Operation() line 55
class-const TermKind::Alternative() line 55

Private surface 1§

Implementation details, listed for orientation only.

private Provenance $provenance

Test cases 4§

Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.

Dedicated tests 4

Relations§

Instantiated in 5

Method calls 5