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

##

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

##

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

##

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.

##

print

    public void print(Printer p);

graph0

    public Graph0 graph0(Constraints C,
                         Interface source);

graph1

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

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

###### MorTensor.html