Lines Matching refs:dest
19 public int dest, cost;
22 dest = d;
27 return new String(dest + "(" + cost + ")");
79 public void addEdge(String src, String dest, int cost) {
80 nodes.get(getNodeID(src)).add((new Edge(getNodeID(dest), cost)));
97 if (table[e.dest].color == WHITE) {
98 table[e.dest].color = GRAY;
99 table[e.dest].distance = table[u].distance + 1;
100 table[e.dest].prev = u;
101 queue.offer(e.dest);
128 if (table[e.dest].color == WHITE) {
129 table[e.dest].prev = nr;
130 dfsVisit(e.dest, table);
145 erg.add(labels.get(edge.dest));
155 public boolean edgeIn(String src, String dest) {
158 if (e.dest == getNodeID(dest))
164 public int weight(String src, String dest) {
167 if (e.dest == getNodeID(dest))