From 870186138dc9685d01e6136821d92d24abd634e3 Mon Sep 17 00:00:00 2001 From: Tim Vieira Date: Wed, 10 Jul 2013 15:34:16 -0400 Subject: [PATCH] Issue #15: updated Jason's Dijkstra backpointer example to use which doesn't quote its second argument. --- examples/dijkstra-backpointers2.dyna | 2 +- examples/expected/dijkstra-backpointers.py.out | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/examples/dijkstra-backpointers2.dyna b/examples/dijkstra-backpointers2.dyna index bb7948e..f7c8f5f 100644 --- a/examples/dijkstra-backpointers2.dyna +++ b/examples/dijkstra-backpointers2.dyna @@ -4,7 +4,7 @@ % Cost of the optimal path from start to each node. % In each case, the associated key is a reversed version of the path itself. path(start) min= 0 with_key [start]. -path(B) min= path(A) + edge(A,B) with_key P for P is append($key(path(A)),B). +path(B) min= path(A) + edge(A,B) with_key append($key(path(A)),B). % The cost of the optimal path to the end node, and that path itself. goal = path(end). diff --git a/examples/expected/dijkstra-backpointers.py.out b/examples/expected/dijkstra-backpointers.py.out index f3bbf45..cc9e93a 100644 --- a/examples/expected/dijkstra-backpointers.py.out +++ b/examples/expected/dijkstra-backpointers.py.out @@ -8,8 +8,7 @@ start = "a". $key/1 ====== -$key(goal) = "d". -$key(path("a")) = "a". +$key(path("a")) = []. $key(path("b")) = "a". $key(path("c")) = "b". $key(path("d")) = "e". -- 2.50.1