% @(#)$Id: MoneyConstraint.lsl,v 1.1 1997/01/27 20:43:27 leavens Exp $
MoneyConstraint(Loc): trait
  includes c_pred(Loc,Money), MoneyTrait
  asserts
    \forall self: Loc[Money], pre, post: State
      constraint_pred(self, pre, post)
        == eval(self,pre) = eval(self,post);

[Index]

HTML generated using lcpp2html.