Flow PHP

PhysicalIntervals

Read onlyYes

FinalYes

Floats compare as IEEE 754 outside NaN: -0.0 equals +0.0.

Properties

$intervals : array<string|int, mixed>
$order : PhysicalOrder

Methods

__construct() : mixed
contains() : bool: NaN lies in no interval.
covers() : bool: [$min, $max] lies inside one interval.
disjoint() : bool: No interval meets [$min, $max]: the intervals are disjoint and sorted, so only those starting at or below $max can, the last of them first.
isEmpty() : bool
preImage() : self|null: Null when the column's decoded values cannot be compared with the literal exactly.
preImageOfSet() : self|null: Sorted by lower bound, each once: the pre-images of distinct values are disjoint, of equal values the same.

$intervals


        public
            array<string|int, mixed>
    $intervals

$order


        public
            PhysicalOrder
    $order

__construct()


    public
                    __construct(PhysicalOrder $order, array<int, PhysicalInterval> $intervals) : mixed

Parameters

$order : PhysicalOrder
$intervals : array<int, PhysicalInterval>: sorted by lower bound, disjoint

contains()

NaN lies in no interval.


    public
                    contains(bool|float|int|string $value) : bool

Parameters

$value : bool|float|int|string

Return values

bool

covers()

[$min, $max] lies inside one interval.


    public
                    covers(bool|float|int|string $min, bool|float|int|string $max) : bool

Parameters

$min : bool|float|int|string
$max : bool|float|int|string

Return values

bool

disjoint()

No interval meets [$min, $max]: the intervals are disjoint and sorted, so only those starting at or below $max can, the last of them first.


    public
                    disjoint(bool|float|int|string $min, bool|float|int|string $max) : bool

Parameters

$min : bool|float|int|string
$max : bool|float|int|string

Return values

bool

isEmpty()


    public
                    isEmpty() : bool

Return values

bool

preImage()

Null when the column's decoded values cannot be compared with the literal exactly.


    public
            static        preImage(PreImage $preImage, PhysicalOrder $order, Operator $operator, bool|DateTimeImmutable|float|int|string $literal) : self|null

Parameters

$preImage : PreImage
$order : PhysicalOrder
$operator : Operator
$literal : bool|DateTimeImmutable|float|int|string

Return values

self|null

preImageOfSet()

Sorted by lower bound, each once: the pre-images of distinct values are disjoint, of equal values the same.


    public
            static        preImageOfSet(PreImage $preImage, PhysicalOrder $order, array<int, bool|DateTimeImmutable|float|int|string> $literals) : self|null

Parameters

$preImage : PreImage
$order : PhysicalOrder
$literals : array<int, bool|DateTimeImmutable|float|int|string>

Return values

self|null