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

public class MorTensor

(source file: MorTensor.java)
java.lang.Object
   |
   +----Printable
           |
           +----Mor
                   |
                   +----MorTensor
The pure class interface. 
public class MorTensor
  extends Mor
The tensor of two morphisms f g.

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

Constuctor Index

O MorTensor(Mor, Mor)
Create a new tensor f g. Note that at most one of f

Methods

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

Constructors

O MorTensor
public MorTensor(Mor f,
                 Mor g);
Create a new tensor f g. Note that at most one of f and g should be premonoidal morphisms.

Parameters:
f - the lh morphism.
g - the rh morphism.

Methods

O print
public void print(Printer p);

O graph0

public Graph0 graph0(Constraints C,
                     Interface source);

O graph1

public Graph1 graph1(Constraints C,
                     Interface source,
                     int control);

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