`[all packages] [package ] [class hierarchy] [index]`

# public class PremonPatTuple

(source file: PremonPatTuple.java)

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

The pure class interface.

    public class PremonPatTuple
      extends PremonPat

  A pattern matching a tuple (p1,...,pn).

  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)

##

PremonPatTuple

    public PremonPatTuple(PremonPat[] Ps);

  Build a new tuple pattern from an array of patterns.

  Parameters:
    Ps - the patterns p1,...,pn.

##

empty

    public static final PremonPatTuple empty;

  An empty pattern ().

##

print

    public void print(Printer p);

printB

    public void printB(Printer p);

`[all packages] [package ] [class hierarchy] [index]`

###### PremonPatTuple.html