[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