% @(#)$Id: State.lsl,v 1.23 1997/02/13 00:21:14 leavens Exp $

State: trait
  includes State_Basics, TypePerspectives, State_Updates,
           Set(Object, Set[Object], int for Int)   % from LSL handbook
  introduces
    domain: State -> Set[Object]
  asserts
    \forall obj:Object, st:State
      obj \in domain(st) == allocated(obj, st);
  implies
    equations
      domain(emptyState) == {};
    converts domain

[Index]

HTML generated using lcpp2html.