public static final NodeStatus UNVISITED = new NodeStatus("UNVISITED");
public static final NodeStatus PROCESSING = new NodeStatus("PROCESSING");
public static final NodeStatus FINISHED = new NodeStatus("FINISHED");
public static final NodeStatus UNVISITED = new NodeStatus("UNVISITED");
public static final NodeStatus PROCESSING = new NodeStatus("PROCESSING");
public static final NodeStatus FINISHED = new NodeStatus("FINISHED");
private DOTVisitor(java.io.OutputStream output) {
tokennumber = 0;
color = 0;
this.output = new java.io.PrintWriter(output, true);
}
private DOTVisitor(java.io.OutputStream output) {
tokennumber = 0;
color = 0;
this.output = new java.io.PrintWriter(output, true);
}
private String getNewID(String name) {
tokennumber = tokennumber + 1;
return new String (name+tokennumber);
private String getNewID(String name) {
tokennumber = tokennumber + 1;
return new String (name+tokennumber);
public static void visit(java.io.OutputStream output, Collection nodes) {
visit(output,nodes,null);
}
public static void visit(java.io.OutputStream output, Collection nodes) {
visit(output,nodes,null);
}
if (nodes.contains(node)) {
for(Iterator nodeit=nonmerge(node).iterator();nodeit.hasNext();) {
GraphNode node2=(GraphNode)nodeit.next();
if (nodes.contains(node)) {
for(Iterator nodeit=nonmerge(node).iterator();nodeit.hasNext();) {
GraphNode node2=(GraphNode)nodeit.next();
* It only considers cycles containing nodes in the set 'nodes'.
*/
public static Set findcycles(Collection nodes) {
* It only considers cycles containing nodes in the set 'nodes'.
*/
public static Set findcycles(Collection nodes) {