to the main page about the tutorial  INTERACTIVE WEB SERVICES WITH JAVA back up next

The Constraint Model

A simple uniform constraint model will handle many cases, including the previous example.

Each field is given a binary decision tree:

              

The nodes are boolean expressions combining predicates with and, or, and not.

The leaves are predicates that are required to hold for the given field.

back COPYRIGHT © 2002-2003 ANDERS MØLLER & MICHAEL I. SCHWARTZBACH next