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

public class MorComp

(source file: MorComp.java)
java.lang.Object
   |
   +----Printable
           |
           +----Mor
                   |
                   +----MorComp
The pure class interface. 
public class MorComp
  extends Mor
The composition of two morphisms f;g.

Author:
Alan Jeffrey
Version: v1.0 1998/06/11

Constuctor Index

O MorComp(Mor, Mor)
Create a new composition.

Methods

O comp(Mor)
O graph0(Constraints, Interface)
O graph1(Constraints, Interface, int)
O print(Printer)
O simpleComp(Mor)
O uncurry()

Constructors

O MorComp
public MorComp(Mor f,
               Mor g);
Create a new composition.

Parameters:
f - the lh morphism
g - the rh morphism

Methods

O print
public void print(Printer p);

O uncurry

public Mor uncurry();

O comp

public Mor comp(Mor h);

O simpleComp

public Mor simpleComp(Mor h);

O graph0

public Graph0 graph0(Constraints C,
                     Interface source);

O graph1

public Graph1 graph1(Constraints C,
                     Interface source,
                     int control);

[all packages] [package ] [class hierarchy] [index]
MorComp.html