classConstrainedCompletion

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(private Grammar $grammar, private CompletionCosts $costs)

source §

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

Parameters

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

Calls 5

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

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 3

Called from 1

method-call SqlFaker\Generation\Derivation\TokenGenerator::minimumExpansions() packages/sql-faker/src/Generation/Derivation/TokenGenerator.php:92

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

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 calls

Called from 1

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

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

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 2

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

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 1

ConstrainedCompletionTest::testSearchRetainsAFirstWitnessAsFeasibilityInsteadOfAMinimumProof calls

Called from 1

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

Calls 15

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 Grammar::sourceRule() line 109
method-call GenerationPlan::patternAt() line 111
method-call PatternProductions::matching() line 113
function-call array_slice line 114

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

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 1

ConstrainedCompletionTest::testWitnessCachesOnlyTheChosenSuffixAndKeepsMinimumQueriesIndependent calls

Called from 2

Calls 2

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

Private surface 6§

Implementation details, listed for orientation only.

private CompletionReduction $reduction

private CompletionMemo $memo

private CompletionWitness $witness

private PatternProductions $productions

private Grammar $grammar

private CompletionCosts $costs

Test cases 28§

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

Dedicated tests 6

Other tests reaching this symbol 22

Relations§

Instantiated in 2

Method calls 2

Type declarations 1

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