ExistsUnique

Tests if a property holds for exactly one of the objects in a container.

Syntax

• ExistsUnique(X, p)

  • X is a container

  • p is a predicate

Description

If X is a container and p a predicate, then ExistsUnique(X, p) returns true iff p(x) for exactly one x in X.

See also

• ∀ (ForAll)

• ∃ (exists)

• count

• filter

• pick