% @(#)$Id: SimFunStateFromFun.lsl,v 1.2 1995/01/14 06:36:57 leavens Exp $
SimFunStateFromFun(f, fs, Derived, Base): trait
  includes SimulationFun, SimulationFunState(fs, Derived, Base)
  asserts \forall d: Derived, st: State
    fs(d, st) = f(d)

[Index]

HTML generated using lcpp2html.