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

public class PremonConEmpty

(source file: PremonConEmpty.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonCon
                   |
                   +----PremonConEmpty
The pure class interface. 
public class PremonConEmpty
  extends PremonCon
An empty context.

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

Constuctor Index

O PremonConEmpty()

Methods

O binds(PremonVar)
O comp(PremonCon)
O hide(PremonCon)
O lookup(String)
O print(Printer)
O semantics()
O shuffleFromVar(PremonVar)
O shuffleTo(PremonCon)
O shuffleToVar(PremonVar)
O uniq()

Constructors

O PremonConEmpty
public PremonConEmpty();

Methods

O print
public void print(Printer p);

O lookup

public PremonVar lookup(String s)
  throws TypeError;

O binds

public boolean binds(PremonVar y);

O hide

public PremonCon hide(PremonCon Gamma);

O uniq

public PremonCon uniq();

O semantics

public Obj semantics();

O shuffleTo

public Shuffle shuffleTo(PremonCon Gamma);

O shuffleFromVar

public Shuffle shuffleFromVar(PremonVar x);

O shuffleToVar

public Shuffle shuffleToVar(PremonVar x);

O comp

public PremonCon comp(PremonCon Gamma);

[all packages] [package ] [class hierarchy] [index]
PremonConEmpty.html