public class MorTrace

java.lang.Object
   |
   +----Printable
           |
           +----Mor
                   |
                   +----MorTrace

public class MorTrace
  extends Mor

A traced morphism Tr(f).

Author:

Alan Jeffrey

Version: v1.0 1998/06/11

MorTrace(Mor, Obj, Obj, Obj)

Create a new traced morphism Tr(f) : X Y. Note that f should

graph0(Constraints, Interface)

print(Printer)

public MorTrace(Mor f,
                Obj X,
                Obj Y,
                Obj Z);

Create a new traced morphism Tr(f) : X Y. Note that f should be a morphism in V, and Z should be a traceable object.

Parameters:

f - the morphism to trace, of type f : X Z Y Z.

X - the source of the traced morphism.

Y - the target of the traced morphism.

Z - the traced object.

public void print(Printer p);

graph0

public Graph0 graph0(Constraints C,
                     Interface source);

MorTrace.html