Binary Decision Diagrams for Affine Approximation