% @(#)$Id: ConstObj.lsl,v 1.11 1995/11/08 04:17:38 leavens Exp $

ConstObj(T): trait
  includes TypedObj(ConstObj, T), contained_objects(ConstObj[T])
  assumes contained_objects(T)
  asserts
    \forall cobj: ConstObj[T], st: State
       contained_objects(cobj, st)
         == if assigned(cobj,st)
            then contained_objects(eval(cobj,st), st)
            else {};
  implies
    converts
      contained_objects: ConstObj[T], State -> Set[TypeTaggedObject]

[Index]

HTML generated using lcpp2html.