Data structure holding known decompositions.
Referenced by addDecomposition(), and getDecomposition().