final class SequenceDomain
    implements ValueDomain

Declares a compound value from independent domains without materializing their Cartesian product.

Methods§

public function __construct(ValueDomain ...$domains)

Retains declaration order, including an empty sequence.

Parameters

$domainsValueDomain
Test cases 2
Calls 1
public function choose(Closure(positive-int): int $choose): string

Parameters

$chooseClosure(positive-int): int

Returns

string
Test cases 2
Calls 3

Private surface 1§

Implementation details, listed for orientation only.

private list<ValueDomain> $domains

Test cases 27§

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

Dedicated tests 2
Other tests reaching this symbol 25

Relations§

Instantiated in 29
Method calls 2