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

# public class MorId

(source file: MorId.java)

    java.lang.Object
       |
       +----Printable
               |
               +----Mor
                       |
                       +----MorShuffle
                               |
                               +----MorId

The pure class interface.

    public class MorId
      extends MorShuffle

  An identity morphism.

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

##

MorId(Obj)
  Create a new identity morphism idX.

##

graph0(Constraints, Interface)
print(Printer)
simpleComp(Mor)
tensor(Mor)

##

MorId

    public MorId(Obj X);

  Create a new identity morphism idX.

  Parameters:
    X - the source and target object.

##

print

    public void print(Printer p);

graph0

    public Graph0 graph0(Constraints C,
                         Interface source);

simpleComp

    public Mor simpleComp(Mor f);

tensor

    public Mor tensor(Mor f);

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

###### MorId.html