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

public class Graph0IdPerp

Graph0IdPerp.html