[all packages]
[package ]
[class hierarchy]
[index]
public class ObjFun
(source file: ObjFun.java)
java.lang.Object
|
+----Printable
|
+----Obj
|
+----ObjFun
The pure class interface.
public class ObjFun
extends Obj
-
A homobject C[X,Y].
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/09

ObjFun(PremonCat, Obj, Obj)
-
Create a new homobject C[X,Y].

cat
-
The category of the homobject.
source
-
The source object.
target
-
The target object.

print(Printer)
-

ObjFun
public ObjFun(PremonCat C,
Obj X,
Obj Y);
-
Create a new homobject C[X,Y].
- Parameters:
- C - the category.
- X - the source object.
- Y - the target object.
- Returns:
- C[X,Y] the homobject.

cat
public final PremonCat cat;
-
The category of the homobject.
source
public final Obj source;
-
The source object.
target
public final Obj target;
-
The target object.

print
public void print(Printer p);
[all packages]
[package ]
[class hierarchy]
[index]
ObjFun.html