[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