Facets Actions

action | A [O] | A [using I]

   action: the sort of all actions. Its subsort primitive-action includes not only the actions described in this Appendix as primitive, but also compound actions that are equivalent to them, e.g., complete and then escape, which is equivalent to escape.

   
A [O]: a sort of action, where A is a sort of action and O is a sort of outcome. Restricts A to those actions which, whenever performed, either fail or have an outcome whose termination properties and kind of information processing are included in O. Note that A [O1] | A [O2] is generally a proper subsort of A [O1|O2], whereas A [O1] & A [O2] is the same sort as A [O1 & O2], which can also be written as A [O1] [O2].

   
A [using I]: a sort of action, where I is a sort of income. Restricts A to those actions which, whenever performed, perhaps evaluate yielders that refer to the current information indicated by I. Compare Y [using I], where Y is a sort of yielder, below.

   OBS:These actions are not implemented by the action interpreter.



    Facets Action Index | Facets Outcomes | Facets Incomes | Facets Yielders | Facets Data