[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