Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations