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

public class MorTensorDots

(source file: MorTensorDots.java)
java.lang.Object
   |
   +----Printable
           |
           +----Mor
                   |
                   +----MorTensorDots
The pure class interface. 
public class MorTensorDots
  extends Mor
A tensor of two morphisms, but drawn with ellipses between them (there is no categorical significance to the ellipses, they are just useful in writing papers about graphs!)

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

Constuctor Index

O MorTensorDots(Mor, Mor)

Methods

O graph0(Constraints, Interface)
O print(Printer)

Constructors

O MorTensorDots
public MorTensorDots(Mor f,
                     Mor g);

Methods

O print
public void print(Printer p);

O graph0

public Graph0 graph0(Constraints C,
                     Interface source);

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