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

public class PremonConBind

(source file: PremonConBind.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonCon
                   |
                   +----PremonConBind
The pure class interface. 
public class PremonConBind
  extends PremonCon
A context which binds a variable x:T.

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

Constuctor Index

O PremonConBind(PremonVar)

Methods

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

Constructors

O PremonConBind
public PremonConBind(PremonVar x);

Methods

O print
public void print(Printer p);

O lookup

public PremonVar lookup(String s)
  throws TypeError;

O hide

public PremonCon hide(PremonCon Gamma);

O binds

public boolean binds(PremonVar y);

O uniq

public PremonCon uniq();

O semantics

public Obj semantics();

O shuffleTo

public Shuffle shuffleTo(PremonCon Gamma);

O shuffleFromVar

public Shuffle shuffleFromVar(PremonVar y);

O shuffleToVar

public Shuffle shuffleToVar(PremonVar y);

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