`[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

##

PremonConBind(PremonVar)

##

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

##

PremonConBind

    public PremonConBind(PremonVar x);

##

print

    public void print(Printer p);

lookup

    public PremonVar lookup(String s)
      throws TypeError;

hide

    public PremonCon hide(PremonCon Gamma);

binds

    public boolean binds(PremonVar y);

uniq

    public PremonCon uniq();

semantics

    public Obj semantics();

shuffleTo

    public Shuffle shuffleTo(PremonCon Gamma);

shuffleFromVar

    public Shuffle shuffleFromVar(PremonVar y);

shuffleToVar

    public Shuffle shuffleToVar(PremonVar y);

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

###### PremonConBind.html