Domain

MMO\math\helpers · 1 symbol · generated 30 Sep 2026

class

Domain

class MMO\math\helpers\Domain implements MMO\math\interfaces\iDomain, ArrayAccess, IteratorAggregate, Stringable

Namespace: MMO\math\helpers
Implements: iDomain, ArrayAccess, IteratorAggregate, Stringable

Index

	ALLOW_ALL
	ALLOW_EMPTY
	ALLOW_OVERFLOW
	ALLOW_SPAN
	ALLOW_SPAN_OVERFLOW
	ALLOW_THIS_SPAN
	ALLOW_VALUE_SPAN
	content
	add($values)
	addStorage($storage)
	attach($object, $info)
	clear()
	Columns($lines) static	Find the common columns between a list of domains
	computeLeft($operator, $value)	Do an arithmetic operation on the start and end of all the intervals using the value at the start of the computing ($value * $this)
	computeRight($operator, $value)	Do an arithmetic operation on the start and end of oll the intervals using the value at the end of the computing ($this * $value)
	contains($value)	Tell if every value of $value is in this domain.
	debugName()
	exclude($value)	Create a new Domain from this one and remove the given values
	freeStorage()
	From($domains) static
	FromValue($value, $isIncluded) static
	getEnd()
	getIterator($step, $scale, $reverse)
	getStart()
	includeEnd()
	includeStart()
	indexOf($interval)
	Infinity() static
	intersect($value)	Create a new Domain of the intersection of this one and the given values
	intervals()
	inverse($limit)	Create a new Domain of the inverse of this one
	isEmpty()
	isEqual($value)
	jsonSerialize()
	limit()
	match($value, $flags)	Match the given value with the current domains.
	offsetBy($offset)
	offsetExists($offset)	\ArrayAccess::offsetExists
	offsetGet($offset)	\ArrayAccess::offsetGet
	offsetSet($offset, $value)	\ArrayAccess::offsetSet
	offsetUnset($offset)	\ArrayAccess::offsetUnset
	overlap($value)
	remove($values)
	set($domains)
	size()
	union($value)	Create a new Domain of the union of this one and the given values
	__clone()
	__construct($intervals)
	__toString()

Constants7

ALLOW_ALL

const ALLOW_ALL = 15

ALLOW_EMPTY

const ALLOW_EMPTY = 8

ALLOW_OVERFLOW

const ALLOW_OVERFLOW = 4

ALLOW_SPAN

const ALLOW_SPAN = 3

ALLOW_SPAN_OVERFLOW

const ALLOW_SPAN_OVERFLOW = 7

ALLOW_THIS_SPAN

const ALLOW_THIS_SPAN = 2

ALLOW_VALUE_SPAN

const ALLOW_VALUE_SPAN = 1

Properties1

content

protected array $content = []

Type: array

Methods41

add($values)

Domain.php:189

function add(MMO\math\helpers\Interval|array|float ...$values): self

...$values	Interval \| array \| float
returns	self

addStorage($storage)

Domain.php:460

function addStorage(SplObjectStorage $storage): void

$storage	SplObjectStorage
returns	void

attach($object, $info)

Domain.php:466

function attach(object $object, mixed $info = null): void

$object	object
$info = null	mixed
returns	void

clear()

Domain.php:60

function clear(): void

returns

void

Columns($lines)

staticDomain.php:82

Find the common columns between a list of domains

static function Columns(self ...$lines): self

See: demo/columns.php

...$lines	self
returns	self

computeLeft($operator, $value)

Domain.php:486

Do an arithmetic operation on the start and end of all the intervals using the value at the start of the computing ($value * $this)

function computeLeft(callable $operator, MMO\math\interfaces\iSimpleDomain|int|float $value): static

$operator	callable	fn($a,$b): int\|float\|null
$value	iSimpleDomain \| int \| float
returns	static

computeRight($operator, $value)

Domain.php:503

Do an arithmetic operation on the start and end of oll the intervals using the value at the end of the computing ($this * $value)

function computeRight(callable $operator, MMO\math\interfaces\iSimpleDomain|int|float $value): static

$operator	callable	fn($a,$b): int\|float\|null
$value	iSimpleDomain \| int \| float
returns	static

contains($value)

Domain.php:314

Tell if every value of $value is in this domain.

function contains(MMO\math\interfaces\iSimpleDomain|float $value): bool

Open and closed bounds count on both sides, and a value may span touching intervals ([1,2[u[2,3]).

$value	iSimpleDomain \| float	a single value, or intervals sorted like a Domain's
returns	bool	false for an empty value, like Interval::contains()

$d = new Domain([1, 2], [3, 4, false]); //[1,2]u]3,4] $d->contains(1.5); //true $d->contains(3.0); //false: ]3,4] excludes 3 $d->contains(new Interval(3, 4, false)); //true $d->contains(new Domain([1, 2], [3.5, 4])); //true

debugName()

Domain.php:42

function debugName(): string

returns

string

exclude($value)

Domain.php:404

Create a new Domain from this one and remove the given values

function exclude(MMO\math\interfaces\iSimpleDomain|float $value): static

$value	iSimpleDomain \| float
returns	static

freeStorage()

Domain.php:472

function freeStorage(): void

returns

void

From($domains)

staticDomain.php:29

static function From(MMO\math\interfaces\iSimpleDomain $domains): self

$domains	iSimpleDomain
returns	self

FromValue($value, $isIncluded)

staticDomain.php:33

static function FromValue(float $value, bool $isIncluded = true): static

$value	float
$isIncluded = true	bool
returns	static

getEnd()

Domain.php:283

function getEnd(): ?float

returns

null | float

getIterator($step, $scale, $reverse)

Domain.php:68

function getIterator(int|float $step = 1, ?int $scale = null, bool $reverse = false): MMO\math\iterators\DomainIterator

$step = 1	int \| float
$scale = null	null \| int
$reverse = false	bool
returns	DomainIterator

getStart()

Domain.php:275

function getStart(): ?float

returns

null | float

includeEnd()

Domain.php:288

function includeEnd(): bool

returns

bool

includeStart()

Domain.php:279

function includeStart(): bool

returns

bool

indexOf($interval)

Domain.php:64

function indexOf(MMO\math\helpers\Interval $interval): int|false

$interval	Interval
returns	int \| false

Infinity()

staticDomain.php:37

static function Infinity(): static

returns

static

intersect($value)

Domain.php:415

Create a new Domain of the intersection of this one and the given values

function intersect(MMO\math\interfaces\iSimpleDomain|float $value): static

$value	iSimpleDomain \| float
returns	static

intervals()

Domain.php:171

function intervals(): array

returns

array

inverse($limit)

Domain.php:449

Create a new Domain of the inverse of this one

function inverse(bool $limit = false): static

$limit = false	bool	if true, will preserve the domain's limit
returns	static

isEmpty()

Domain.php:369

function isEmpty(): bool

returns

bool

isEqual($value)

Domain.php:376

function isEqual(MMO\math\interfaces\iSimpleDomain|float $value): bool

$value	iSimpleDomain \| float
returns	bool

jsonSerialize()

Domain.php:56

function jsonSerialize(): mixed

returns

mixed

limit()

Domain.php:175

function limit(): MMO\math\helpers\Interval

returns

Interval

match($value, $flags)

Domain.php:658

Match the given value with the current domains.

function match(MMO\math\interfaces\iSimpleDomain $value, int $flags = self::ALLOW_ALL): ?array

$value	iSimpleDomain
$flags = self::ALLOW_ALL	int	combination of binary flags `ALLOW_*`
returns	null \| array	an array where the index is the domain index and the value is a list of value's Interval

0 this [--] [--] [-----] [A] [B] [C] MATCH [[A] , [B] , [C]] [-] [-] NO MATCH [-] [-] [-] NO MATCH [-][-] [-] [-] NO MATCH [---] [-] [-] NO MATCH [--------] [-] NO MATCH [-] [-] [-][-] NO MATCH [---] [-] [-] [-] NO MATCH

ALLOW_VALUE_SPAN this [--] [----] [---] [-A-] [B] MATCH [[A] , [A] , [B]] [---] [-] [-] NO MATCH

ALLOW_THIS_SPAN this [------] [---] [A] [B] [C] MATCH [[A,B] , [C]] [----] NO MATCH

ALLOW_SPAN this [------] [---] [A] [B] [C] MATCH [[A,B] , [C]] [A] [-B--] MATCH [[A,B] , [B]] [-] NO MATCH

ALLOW_EMPTY this [------] [---] [A] MATCH [[A] , []] [--] [-] NO MATCH

ALLOW_OVERFLOW this [--] [---] [---] [-A-] [B] [C] MATCH [[A] , [B] , [C]] [------][-] [-] NO MATCH

ALLOW_SPAN_OVERFLOW this [--] [---] [---] [-A-] [B] [C] MATCH [[A] , [B] , [C]] [-A----][B] [C] MATCH [[A], [A,B], [C]] [---] [-] NO MATCH [-] [-] [-] NO MATCH

ALLOW_ALL this [--] [---] [---] [-A-] [B] [C] MATCH [[A] , [B] , [C]] [-A----][B] [C] MATCH [[A] , [A,B], [C]] [-A-] [C] MATCH [[A] , [] , [C]] [-] [-] [-] NO MATCH