Crate symbolic_sets

Provides implementations of sets that are stored symbolically.

This means that you are not storing each element of the set directly; instead, a set consists of all elements that satisfy certain properties, which are expressed as code. You provide some atomic properties, along with rules for simplifying combinations of properties; we handle the rest.

Modules

anf

Sets stored in Algebraic Normal Form (ANF)

proptest

Supports writing property tests that exercise set implementations.

Macros

test_anf_set

Defines a full suite of property tests that exercise an AnfSet implementation.

test_anf_set_with_elements

Defines additional property tests for AnfSet implementations where you can easily choose a random element from a set.

Traits

Property

Defines a property that may be true or false for each possible element of a set. Each property must match at least one element, and must reject at least one element.