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

# public class Graph0IdPerp

(source file: Graph0IdPerp.java)

    java.lang.Object
       |
       +----Drawable
               |
               +----Graph0
                       |
                       +----Graph0IdPerp

The pure class interface.

    public class Graph0IdPerp
      extends Graph0

  A graph consisting of arcs running from right to left (this is used to draw the trace structure, using the fact that any *-autonomous category has a trace.

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

##

Graph0IdPerp(Constraints, Interface)
  Create a new inverted identity graph.

##

draw(Drawer)

##

Graph0IdPerp

    public Graph0IdPerp(Constraints C,
                        Interface i);

  Create a new inverted identity graph.

  Parameters:
    C - the ocnstraints set.
    i - the source and target interface.

##

draw

    public void draw(Drawer d);

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

###### Graph0IdPerp.html