A Class of Logic Functions Expressible by a Polynomial-Size Binary Decision Diagram