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

##

PremonConEmpty()

##

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

##

PremonConEmpty

    public PremonConEmpty();

##

print

    public void print(Printer p);

lookup

    public PremonVar lookup(String s)
      throws TypeError;

binds

    public boolean binds(PremonVar y);

hide

    public PremonCon hide(PremonCon Gamma);

uniq

    public PremonCon uniq();

semantics

    public Obj semantics();

shuffleTo

    public Shuffle shuffleTo(PremonCon Gamma);

shuffleFromVar

    public Shuffle shuffleFromVar(PremonVar x);

shuffleToVar

    public Shuffle shuffleToVar(PremonVar x);

comp

    public PremonCon comp(PremonCon Gamma);

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

###### PremonConEmpty.html