What's in a Domain

• Informally, a computation domain for a constraint language comprises:
  • A definition of the elements in the domain
  • Their interpretation,
  • The operations allowed among them, and
  • The interpretation of these operations
• Example:
  • We assumed a finite number of elements in the precedence net example
  • A continuous set would not have allowed us to solve the problem as we did