statesexp: list the state-space, and a trace leading to each state

statesexp A;


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.

See also

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