make_pattern_match {dynprog}

Translate a pattern into a predicate that checks the pattern.

Description

Takes a pattern from the DSL and make a comparison of the pattern specification against range variables.

Usage

make_pattern_match(pattern, range_vars)

Arguments

pattern

An expression on the form table[index-list]

range_vars

A list of the variables used in the ranges.

Value

An expression that tests pattern against range_vars.