next up previous contents index
Next: Match all rules Up: Pattern Matching Previous: Pattern Matching

Cost minimization

In addition, if cost expressions are specified, then the matching process will proceed as follows:

  1. Locate all applicable rules. If no such rule exists then exit.
  2. Compute the cost expressions of all applicable rules.
  3. Choose the action that has the lowest cost to execute. If a tie occurs, resolve by the textual order of the rules.


Allen Leung
Mon Apr 7 14:33:55 EDT 1997