saffron.util
Class Graph.Arc

java.lang.Object
  |
  +--saffron.util.Graph.Arc

Enclosing class:

Graph

public static class Graph.Arc

extends Object

An Arc is a directed link between two nodes.

The nodes are compared according to Object.equals(java.lang.Object) and Object.hashCode(). We assume that their Object.toString() works, too.

Field Summary

Object	from
private String	string
Object	to

Constructor Summary

Graph.Arc(Object from, Object to)
Creates an arc.

Method Summary

boolean	equals(Object obj)
int	hashCode()
String	toString()
private static String	toString(Graph.Arc[] arcs)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

from

public final Object from

to

public final Object to

string

private final String string

Constructor Detail

Graph.Arc

public Graph.Arc(Object from,
                 Object to)

Creates an arc.

Pre-condition:

from != null, to != null

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

toString

private static String toString(Graph.Arc[] arcs)