statesobs: list the state-space and an observation leading to each state

statesobs A;


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.

See also

  • size
  • statesexp
    Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999