[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

Constuctor Index

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

Methods

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

Constructors

O PremonTypeDots
public PremonTypeDots(PremonType T,
                      PremonType U);
The type T...U.

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

Methods

O print
public void print(Printer p);

O printB

public void printB(Printer p);

O semantics

public Obj semantics();
The semantics is just given as tensor.

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

O equals

public boolean equals(PremonType V);

O traceable

public boolean traceable();
This type is not traceable.

Returns:
false.
Overrides:
traceable in class PremonType

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