[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

Constuctor Index

O MorId(Obj)
Create a new identity morphism idX.

Methods

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

Constructors

O MorId
public MorId(Obj X);
Create a new identity morphism idX.

Parameters:
X - the source and target object.

Methods

O print
public void print(Printer p);

O graph0

public Graph0 graph0(Constraints C,
                     Interface source);

O simpleComp

public Mor simpleComp(Mor f);

O tensor

public Mor tensor(Mor f);

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