Decomposition tries to decompose a lattice into its smallest constituents.
The only requirement is that merging the decomposed results produces the original state.
Requires a bottom to enable automatic decomposition of Product types
Decompose a state into smaller parts.
Note that the goal here is small individual storage size at reasonable computational cost.
Minimalism of returned results is not guaranteed.
It is also not guaranteed that the result does not overlap.
Decompose a state into smaller parts.
Note that the goal here is small individual storage size at reasonable computational cost.
Minimalism of returned results is not guaranteed.
It is also not guaranteed that the result does not overlap.