Encoding hydraulic-planning_chk.lp

Name	hydraulic-planning_chk.lp
Class Tree	[Root] Miscellaneous (45) ASP Contest 09 (45) Verification and Evaluation Encodings and Tools (38)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description
Created	2009-03-22 16:23
Modified	2009-05-09 11:45
Languages
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	conn(I,J,V) :- link(I,J,V), not stuck(V). reach(I,0) :- full(I). reach(I,N+1) :- reach(J,N), conn(J,I,V), step(N). done(N) :- goal(I), reach(I,N). done :- done(N). :- not done. step(0..S-1) :- S = { switchon(V,N) : switchon(V,N) }. :- step(N), not 1 { switchon(V,N) : switchon(V,N) } 1. % :- switchon(V,N), not step(N). :- switchon(V,N), not valve(V). :- switchon(V,N), stuck(V). :- switchon(V,N), done(M), M == N. follow(I,0) :- full(I). follow(I,N+1) :- follow(J,N), link(J,I,V), switchon(V,N). % :- switchon(V,N), not follow(J,N) : link(J,I,V). :- goal(I), step(N), not step(N+1), not follow(I,N+1). #hide. #show switchon(V,N).

Actions