public class MorGenerator

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

public class MorGenerator
  extends Mor

A generating morphism (drawn as a node in the graph).

Author:

Alan Jeffrey

Version: v1.0 1998/06/11

MorGenerator(PremonCat, Obj, Obj, String)

Create a new generating morphism.

graph0(Constraints, Interface)

graph1(Constraints, Interface, int)

print(Printer)

public MorGenerator(PremonCat C,
                    Obj X,
                    Obj Y,
                    String s);

Create a new generating morphism.

Parameters:

C - the category of the morphism.

X - the source of the morphism.

Y - the target of the morphism.

s - the name of the morphism.

public void print(Printer p);

graph0

public Graph0 graph0(Constraints con,
                     Interface source);

graph1

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

MorGenerator.html