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

# public class MorTrace

(source file: MorTrace.java)

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

The pure class interface.

    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)

##

MorTrace

    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.

##

print

    public void print(Printer p);

graph0

    public Graph0 graph0(Constraints C,
                         Interface source);

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

###### MorTrace.html