Manipulating Decision Diagrams