statesobs: list the state-space and an observation leading to each state
Lists the state space of an agent, if it is finite. For each state a
sequence of observable actions by which it may be reached from the initial
state will be printed.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999