Changeset 72720

Timestamp:

Jun 22, 2011, 10:17:48 PM (11 years ago)

Author:

alejandro

Message:

Added empty(). Changed contains() -> probably_contains(). Made relevant documentation, test suite, and example updates.

(No files)