From 7dfa34a1df8eeda8d2ded25d95b61b209091c6f4 Mon Sep 17 00:00:00 2001 From: murphy2 Date: Thu, 15 Jan 2026 10:30:16 +0100 Subject: [PATCH] Change to the end condition --- asp/formalization-based/pathfinding-functions.lp | 3 ++- asp/formalization-based/pathfinding-subnodes.lp | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/asp/formalization-based/pathfinding-functions.lp b/asp/formalization-based/pathfinding-functions.lp index 6761dba..69659f4 100644 --- a/asp/formalization-based/pathfinding-functions.lp +++ b/asp/formalization-based/pathfinding-functions.lp @@ -6,7 +6,8 @@ :- path(Z,C,C',T), path(Z,C,C',T'), T>T'. :- start(Z,C,T,_), not path(Z,C,_,T+1). -:- end(Z,C,_), not path(Z,_,C,h). +%:- end(Z,C,_), not path(Z,_,C,h). +:- end(Z,C,_), not path(Z,_,C,_). :- path(Z,C,C',T), path(Z,C',C'',T+1), d(C,C',D), not p(C',C'',D). diff --git a/asp/formalization-based/pathfinding-subnodes.lp b/asp/formalization-based/pathfinding-subnodes.lp index 1c9175f..29a4077 100644 --- a/asp/formalization-based/pathfinding-subnodes.lp +++ b/asp/formalization-based/pathfinding-subnodes.lp @@ -6,7 +6,8 @@ :- path(Z,C,C',T), path(Z,C,C',T'), T>T'. :- start(Z,(X,Y),T,D), not path(Z,(X,Y,D),_,T+1). -:- end(Z,(X,Y),_), not path(Z,_,(X,Y,_),h). +%:- end(Z,(X,Y),_), not path(Z,_,(X,Y,_),h). +:- end(Z,(X,Y),_), not path(Z,_,(X,Y,_),_). #show. #show path(Z,C,T) : path(Z,C,_,T).