From 7877ef278193455cf34b110b200303c0e1edde51 Mon Sep 17 00:00:00 2001 From: pahimar Date: Thu, 30 May 2013 15:43:58 -0400 Subject: [PATCH] And missed that we changed the weight of an edge to float from int --- .../com/pahimar/ee3/emc/graph/WeightedDirectedGraph.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ee3_common/com/pahimar/ee3/emc/graph/WeightedDirectedGraph.java b/ee3_common/com/pahimar/ee3/emc/graph/WeightedDirectedGraph.java index a60fb55d..663d465d 100644 --- a/ee3_common/com/pahimar/ee3/emc/graph/WeightedDirectedGraph.java +++ b/ee3_common/com/pahimar/ee3/emc/graph/WeightedDirectedGraph.java @@ -41,7 +41,7 @@ public class WeightedDirectedGraph implements Iterable { addEdge(from, to, 1); } - public void addEdge(T from, T to, int weight) { + public void addEdge(T from, T to, float weight) { if (!(graph.containsKey(from) && graph.containsKey(to))) { throw new NoSuchElementException("Missing nodes from graph"); @@ -70,7 +70,7 @@ public class WeightedDirectedGraph implements Iterable { return false; } - public boolean edgeExists(T from, T to, int weight) { + public boolean edgeExists(T from, T to, float weight) { if (!(graph.containsKey(from) && graph.containsKey(to))) { throw new NoSuchElementException("Missing nodes from graph");