public static class Digraph.PortValue extends java.lang.Object
PortValue(int port, java.lang.Object value)
int
getPort()
java.lang.Object
getValue()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public PortValue(int port, java.lang.Object value)
public java.lang.Object getValue()
public int getPort()