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

# public class MorGenerator

(source file: MorGenerator.java)

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

The pure class interface.

    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)

##

MorGenerator

    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.

##

print

    public void print(Printer p);

graph0

    public Graph0 graph0(Constraints con,
                         Interface source);

graph1

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

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

###### MorGenerator.html