classConstrainedCompletion

Generation packages/sql-faker/src/Generation/Derivation/ConstrainedCompletion.php:17

final class ConstrainedCompletion

Finds the cheapest completion respecting occurrence-specific patterns and pending siblings. Unconstrained grammar costs are an admissible lower bound, never a claimed constrained minimum.

Methods§

public function __construct(Grammar $grammar, private CompletionCosts $costs)

100%source §

Reuses the grammar's unconstrained fixed point for pruning completed constraint prefixes.

Parameters

`$grammar`	`Grammar`
`$costs`	`CompletionCosts`

Test cases 15

Calls 5

public function minimum(
    list<Symbol> $symbols,
    GenerationPlan<bool> $plan,
    array<string, int> $occurrences,
    bool $nonEmpty,
    int $budget,
): int

100%source §

Finds the exact constrained minimum before a plan compiler draws its expansion budget.

Parameters

`$symbols`	`list<Symbol>`
`$plan`	`GenerationPlan<bool>`
`$occurrences`	`array<string, int>`
`$nonEmpty`	`bool`
`$budget`	`int`

Returns

int

Test cases 13

Called from 1

method-call SqlFaker\Generation\Choice\PlanBuilder::minimumExpansions() packages/sql-faker/src/Generation/Choice/PlanBuilder.php:47

Calls 1

method-call ConstrainedCompletion::complete() line 42

public function within(
    list<Symbol> $symbols,
    GenerationPlan<bool> $plan,
    array<string, int> $occurrences,
    bool $nonEmpty,
    int $budget,
): bool

100%source §

Stops at the first affordable witness when derivation only needs feasibility, not another shortest proof.

Parameters

`$symbols`	`list<Symbol>`
`$plan`	`GenerationPlan<bool>`
`$occurrences`	`array<string, int>`
`$nonEmpty`	`bool`
`$budget`	`int`

Returns

bool

Test cases 1

ConstrainedCompletionTest::testWithinRejectsARequiredOutputThatIndependentEmptySubtreesCannotSupply covers and calls

Called from 1

method-call SqlFaker\Generation\Derivation\Derivation::completable() packages/sql-faker/src/Generation/Derivation/Derivation.php:249

Calls 1

method-call ConstrainedCompletion::complete() line 53

public function complete(
    list<Symbol> $symbols,
    GenerationPlan<bool> $plan,
    array<string, int> $occurrences,
    bool $nonEmpty,
    int $budget,
    bool $minimum,
): int

100%source §

Reuses completion proofs for equivalent pending forms and pattern counters.

Parameters

`$symbols`	`list<Symbol>`
`$plan`	`GenerationPlan<bool>`
`$occurrences`	`array<string, int>`
`$nonEmpty`	`bool`
`$budget`	`int`
`$minimum`	`bool`

Returns

int

Test cases 14

Called from 2

Calls 10

method-call CompletionCosts::hasTerminalOutput() line 64
function-call array_values line 65
function-call array_filter line 65
method-call CompletionState::key() line 66
new CompletionState line 66
method-call GenerationPlan::patternState() line 66
method-call CompletionMemo::recall() line 67
method-call CompletionWitness::complete() line 71
method-call ConstrainedCompletion::search() line 72
method-call CompletionMemo::remember() line 73

public function search(
    list<Symbol> $symbols,
    GenerationPlan<bool> $plan,
    array<string, int> $occurrences,
    bool $nonEmpty,
    int $budget,
    bool $minimum,
): int

88%source §

Searches finite frontiers within the caller's expansion budget, without generating or retrying SQL.

Parameters

`$symbols`	`list<Symbol>`
`$plan`	`GenerationPlan<bool>`
`$occurrences`	`array<string, int>`
`$nonEmpty`	`bool`
`$budget`	`int`
`$minimum`	`bool`

Returns

int

Test cases 15

Called from 1

method-call SqlFaker\Generation\Derivation\ConstrainedCompletion::complete() packages/sql-faker/src/Generation/Derivation/ConstrainedCompletion.php:72

Calls 14

method-call GenerationPlan::hasRemainingPatterns() line 85
method-call CompletionCosts::completion() line 86
new Production line 86
new CompletionFrontier line 88
method-call CompletionFrontier::offer() line 89
method-call GenerationPlan::patternState() line 89
method-call CompletionFrontier::take() line 90
method-call ConstrainedCompletion::witness() line 92
static-call CompletionCosts::add() line 96
method-call CompletionMemo::recall() line 98
method-call CompletionReduction::reduce() line 105
method-call GenerationPlan::patternAt() line 110
method-call PatternProductions::matching() line 112
function-call array_slice line 113

public function witness(
    CompletionState $state,
    GenerationPlan<bool> $plan,
    int $total,
    int $budget,
): int

100%source §

Shares each suffix of the actual successful path, not unrelated visited branches or a sampled impossibility claim.

Parameters

`$state`	`CompletionState`
`$plan`	`GenerationPlan<bool>`
`$total`	`int`
`$budget`	`int`

Returns

int

Test cases 6

Called from 2

Calls 2

method-call CompletionMemo::remember() line 126
method-call CompletionState::key() line 126

Private surface 5§

Implementation details, listed for orientation only.

private CompletionReduction $reduction

private CompletionMemo $memo

private CompletionWitness $witness

private PatternProductions $productions

private CompletionCosts $costs

Test cases 35§

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

Dedicated tests 16

Other tests reaching this symbol 19

Relations§

Instantiated in 2

Method calls 2

Type declarations 1

type SqlFaker\Generation\Derivation\Derivation packages/sql-faker/src/Generation/Derivation/Derivation.php:29