Finite Domains (I)

• A finite domain constraint solver associates each variable with a finite subset of $\cal Z$
• I.e., $E \in \{-123, -10..4, 10\}$
  (represented as E::[-123, -10..4, 10])
• We can:
  • Perform arithmetic operations $(+, \; -, \; *, \; /)$ on the variables
  • Establish linear relationships among arithmetic expressions $(\char93 =, \; \char93 <, \; \char93 <=)$
• Those operations / relationships are intended to narrow the domains of the variables
• Remember the precedence net example