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

# public abstract class PremonPat

(source file: PremonPat.java)

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

The pure class interface.

    public abstract class PremonPat
      extends Printable

  The syntactic class of patterns.

  Author:
    Alan Jeffrey
  Version: v1.0 1998/06/03

##

PremonPat()

##

bind
  The bound variables of the pattern.
type
  The type of the pattern.

##

PremonPat

    public PremonPat();

##

type

    public PremonType type;

  The type of the pattern.

bind

    public PremonCon bind;

  The bound variables of the pattern.

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

###### PremonPat.html