Warning: the domain of (A, B) is the cross-product of the domain of A
and the domain of B
.
Warning: the domain of (A, B, C) is the cross-product of the 3 domains.
Creates an ExhaustiveCheck[Set[A]]
given an ExhaustiveCheck[A]
by computing the powerset of
values.
Creates an ExhaustiveCheck[Set[A]]
given an ExhaustiveCheck[A]
by computing the powerset of
values. Note that if there are n
elements in the domain of A
there will be 2^n
elements
in the domain of
Set[A], so use this only on small domains.