statesexp: list the state-space, and a trace leading to each state
Lists the state space of an agent, if it is finite. For each state a
sequence of 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