From: timv <tim.f.vieira@gmail.com>
Date: Mon, 17 Dec 2012 20:45:52 +0000 (-0500)
Subject: tweaks to dijkstras
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=0ba4a012c3767146746ff63377eaf1000ad125fb;p=dyna2

tweaks to dijkstras
---

diff --git a/examples/dijkstra.dyna b/examples/dijkstra.dyna
index 7c44a52..48673db 100644
--- a/examples/dijkstra.dyna
+++ b/examples/dijkstra.dyna
@@ -1,13 +1,15 @@
+
+% Dijkstra's algorithm for single-source shortest path
 path(*start) min= 0 .
 path(B) min= path(A) + edge(A,B).
 
 start += "a".
 
-edge("a","b") += 1 . 
-edge("b","d") += 1 . 
-edge("a","d") += 3 . 
-edge("a","c") += 1 . 
-edge("c","d") += 2 . 
+edge("a","b") += 1 .
+edge("b","d") += 1 .
+edge("a","d") += 3 .
+edge("a","c") += 1 .
+edge("c","d") += 2 .
 
 % Expected
 %  path("a") = 0