public class PremonPatTuple

java.lang.Object
   |
   +----Printable
           |
           +----PremonPat
                   |
                   +----PremonPatTuple

public class PremonPatTuple
  extends PremonPat

A pattern matching a tuple (p₁,...,p_n).

Author:

Alan Jeffrey

Version: v1.0 1998/06/03

PremonPatTuple(PremonPat[])

Build a new tuple pattern from an array of patterns.

empty

An empty pattern ().

print(Printer)

printB(Printer)

public PremonPatTuple(PremonPat[] Ps);

Build a new tuple pattern from an array of patterns.

Parameters:

Ps - the patterns p₁,...,p_n.

public static final PremonPatTuple empty;

An empty pattern ().

public void print(Printer p);

printB

public void printB(Printer p);

PremonPatTuple.html