From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 13 Dec 2012 04:19:34 +0000 (-0500)
Subject: Add examples/dijkstra.dyna, taken from Dyna 1
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=b9dc9dbaf9394505aa5a8133a45f3fe45480ef4e;p=dyna2

Add examples/dijkstra.dyna, taken from Dyna 1
---

diff --git a/examples/dijkstra.dyna b/examples/dijkstra.dyna
new file mode 100644
index 0000000..7c44a52
--- /dev/null
+++ b/examples/dijkstra.dyna
@@ -0,0 +1,16 @@
+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 . 
+
+% Expected
+%  path("a") = 0
+%  path("b") = 1
+%  path("c") = 1
+%  path("d") = 2