SQF-quantifiers.md

forAny

∃xC(x)

private _array = [1,2,3,4,5];
private _condition = {_x > 10};

_array findIf _condition != -1

"There is some X in _array such that X > 10."
-> false

#define FOR_ANY(set,condition) (set findIf {condition} != -1)

forNone (= not forAny)

∀x¬C(x)⇔¬∃xC(x)

private _array = [1,2,3,4,5];
private _condition = {_x > 10};

_array findIf _condition == -1

"There is no X in _array such that X > 10."
-> true

#define FOR_NONE(set,condition) (set findIf {condition} == -1)
#define FOR_NONE(set,condition) !FOR_ANY(set,condition)

forAll

∀xC(x)

private _array = [1,2,3,4,5];
private _condition = {_x > 10};

_array findIf {!call _condition} == -1

"Every X in _array is such that X > 10."
-> false

#define FOR_ALL(set,condition) (set findIf {!(condition)} == -1)

forSomeNot (= not forAll)

∃x¬C(x)⇔¬∀xC(x)

private _array = [1,2,3,4,5];
private _condition = {_x > 10};

_array findIf {!call _condition} != -1

"Not every X in _array is such that X > 10."
-> true

#define FOR_SOME_NOT(set,condition) (set findIf {!(condition)} != -1)
#define FOR_SOME_NOT(set,condition) !FOR_ALL(set,condition)