`[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