challenge: What is a generalization of the binary decision diagram (BDD) to linear functions over various domains?
  
  A. Boolean Moment Diagram
  B. Linear Decision Diagram
  C. Binary Decision Tree
  D. Binary Moment Diagram (BMD)
  Answer: 