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

##

MorTensorDots(Mor, Mor)

##

graph0(Constraints, Interface)
print(Printer)

##

MorTensorDots

    public MorTensorDots(Mor f,
                         Mor g);

##

print

    public void print(Printer p);

graph0

    public Graph0 graph0(Constraints C,
                         Interface source);

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

###### MorTensorDots.html