Constraints define additional conditions in the match criteria for the pattern definition. Each constraint is in the form of a logical expression. Pattern matching occurs only when each constraint expression in the pattern evaluates to true. See Section 2 for further information.