Encoding labyrinth_step_decision.gringo

Name labyrinth_step_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser
Description One time step consists of shifting one row or column of the labyrinth and a move from the current to a neighboring field. The latter do not belong to the projected output, viz., instances of "push/3."
Created 2009-01-16 15:18
Modified 2009-03-09 16:36
Language Features
Compatible Instance Classes
Input Predicates
  • connect/2
  • field/1
  • goal_on/1
  • init_at/3
  • init_on/1
  • steps/1
Output Predicates
  • push/3
Encoding Parameter
    Standalone Help No