Algosim documentation: ExistsUnique

ExistsUnique

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

Syntax

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