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

# public class PremonTypeDots

(source file: PremonTypeDots.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonType
                       |
                       +----PremonTypeDots

The pure class interface.

    public class PremonTypeDots
      extends PremonType

  A type constructor T`...`U. This has no categorical significance, but is very useful in drawing graphs which contain ellipses.

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

##

PremonTypeDots(PremonType, PremonType)
  The type T...U.

##

equals(PremonType)
print(Printer)
printB(Printer)
semantics()
  The semantics is just given as tensor.
traceable()
  This type is not traceable.

##

PremonTypeDots

    public PremonTypeDots(PremonType T,
                          PremonType U);

  The type T...U.

  Parameters:
    T - the lh type.
    U - the rh type.

##

print

    public void print(Printer p);

printB

    public void printB(Printer p);

semantics

    public Obj semantics();

  The semantics is just given as tensor.

  Returns:
    [[T]] [[U]]
  Overrides:
    semantics in class PremonType

equals

    public boolean equals(PremonType V);

traceable

    public boolean traceable();

  This type is not traceable.

  Returns:
    false.
  Overrides:
    traceable in class PremonType

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

###### PremonTypeDots.html