[all packages]
[package ]
[class hierarchy]
[index]
public class Graph0Id
(source file: Graph0Id.java)
java.lang.Object
|
+----Drawable
|
+----Graph0
|
+----Graph0Id
The pure class interface.
public class Graph0Id
extends Graph0
-
A graph just consisting of arcs from left to right.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/11
- Graph0Id(Constraints, Interface)
-
Create a new identity graph.
- draw(Drawer)
-
Graph0Id
public Graph0Id(Constraints C,
Interface i);
-
Create a new identity graph.
- Parameters:
- C - the constraint set.
- i - the source and target interface.
draw
public void draw(Drawer d);
[all packages]
[package ]
[class hierarchy]
[index]
Graph0Id.html