ecl-logo Documentation

DomainP

DomainP[patt]outputPattern

generates a pattern that matches {min:patt,max:patt} while also enforcing that min<max.

Details

    Input
    Output

Examples

Basic Examples  (4)

A pattern that matches an integer domain:

Does not match if each element of the domain does not match given pattern:

Matches a domain whose first value is the same as the second:

Domain pattern for distances. Note that the units can be different as long as they are compatible: