% @(#)$Id: Constraint_Visible.lsl,v 1.1 1997/01/27 20:33:15 leavens Exp $
Constraint_Visible(Loc,T): trait
  includes TypedObj(Loc, T)
  assumes visible, follows, c_pred(Loc,T)
  asserts
    \forall o: Loc[T], pre, post: State
      (assigned(o,pre) /\ assigned(o,post)
                       /\ visible(pre) /\ visible(post)
                       /\ follows(pre, post))
         => constraint_pred(o,pre,post);

[Index]

HTML generated using lcpp2html.