]> hydra-www.ietfng.org Git - dyna2/commitdiff
Add examples/dijkstra.dyna, taken from Dyna 1
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 13 Dec 2012 04:19:34 +0000 (23:19 -0500)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 13 Dec 2012 04:19:34 +0000 (23:19 -0500)
examples/dijkstra.dyna [new file with mode: 0644]

diff --git a/examples/dijkstra.dyna b/examples/dijkstra.dyna
new file mode 100644 (file)
index 0000000..7c44a52
--- /dev/null
@@ -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