From b9dc9dbaf9394505aa5a8133a45f3fe45480ef4e Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Wed, 12 Dec 2012 23:19:34 -0500
Subject: [PATCH] Add examples/dijkstra.dyna, taken from Dyna 1

---
 examples/dijkstra.dyna | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 examples/dijkstra.dyna

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
-- 
2.50.1