(index ("IDENTITY" 0) ("PURE" 124) ("RELATION" 226) ("UNION" 363) ("SEQUENCE" 616) ("PIPE" 881) ("SENSE" 1114) ("ACTUATE" 1332) ("RTRANSITION" 1469) ("TRANSITION" 2012) ("TRANSIENT" 2457) ("ON" 2819) ("INTEGRAL" 3036) ("INTEGRALH" 3241) ("ASSIGN" 3470) ("ODE" 3523) ("DAE" 3570) ("codegen/Octave" 3617) ("codegen/scheme" 3678) ("codegen/ML" 3739))
(def (sig (procedure "(IDENTITY f)" (id IDENTITY))) (p "Constructs a signal function that copies its input to the ouput."))
(def (sig (procedure "(PURE f)" (id PURE))) (p "Constructs a signal function with no side effects."))
(def (sig (procedure "(RELATION  r f)" (id RELATION))) (p "Defines the relation " (tt "r") " within the signal function " (tt "f") "."))
(def (sig (procedure "(UNION f g)" (id UNION))) (p "Constructs a signal function whose input is the union of the inputs of signal functions " (tt "f") " and " (tt "g") ", and whose output is the union of the outputs of " (tt "f") " and " (tt "g") "."))
(def (sig (procedure "(SEQUENCE f g)" (id SEQUENCE))) (p "Constructs a signal function that feeds its input to signal function " (tt "f") ", then takes the resulting output and feeds it to " (tt "g") ", along with any additional inputs required by " (tt "g") "."))
(def (sig (procedure "(PIPE f g)" (id PIPE))) (p "Constructs a signal function that feeds its input to signal function " (tt "f") ", then takes the resulting output and feeds it to " (tt "g") ", without any any additional inputs."))
(def (sig (procedure "(SENSE  ss f)" (id SENSE))) (p "Constructs a signal function that selects only the signals enumerated in " (tt "ss") " from its input, and feeds the result to the signal function " (tt "f") "."))
(def (sig (procedure "(ACTUATE ss f)" (id ACTUATE))) (p "Renames the outputs of " (tt "f") " to the names specified in " (tt "ss") "."))
(def (sig (procedure "(RTRANSITION f g ef eg s)" (id RTRANSITION))) (p "Recurrent transition: constructs a signal function that behaves like " (tt "f") " until the boolean signal specified by " (tt "ef") " is true, when the signal function is switched to behave like " (tt "g") ". If the boolean signal " (tt "eg") " becomes true, the signal function is switched back to " (tt "f") ". " (tt "s") " is the name of the state variable that indicates the current state: if false, the state is " (tt "f") ", otherwise the state is " (tt "g") "."))
(def (sig (procedure "(TRANSITION f g ef e)" (id TRANSITION))) (p "Singularly occurring transition: constructs a signal function that behaves like " (tt "f") " until the boolean signal specified by " (tt "ef") " is true, when the signal function is switched to behave like " (tt "g") ". " (tt "s") " is the name of the state variable that indicates the current state: if false, the state is " (tt "f") ", otherwise the state is " (tt "g") "."))
(def (sig (procedure "(TRANSIENT f g ef)" (id TRANSIENT))) (p "Singularly occurring transition: constructs a signal function that behaves like " (tt "f") " until the boolean signal specified by " (tt "ef") " is true, when the signal function is switched to behave like " (tt "g") " for (one invocation), and is then immediately switched back to " (tt "f") "."))
(def (sig (procedure "(ON f ef)" (id ON))) (p "Constructs a signal function that behaves like " (tt "f") " only when the boolean signal specified by " (tt "ef") " is true, otherwise copies the input to the output."))
(def (sig (procedure "(INTEGRAL i d f)" (id INTEGRAL))) (p "One step numerical integration on the pure function " (tt "f") " given independent variable " (tt "i") " and dependent variable " (tt "d") "."))
(def (sig (procedure "(INTEGRALH i d h f)" (id INTEGRALH))) (p "One step numerical integration on the pure function " (tt "f") " given independent variable " (tt "i") ", dependent variable " (tt "d") ", and step " (tt "h") "."))
(def (sig (procedure "ASSIGN eqn ..." (id ASSIGN))))
(def (sig (procedure "ODE eqn ..." (id ODE))))
(def (sig (procedure "DAE eqn ..." (id DAE))))
(def (sig (procedure "codegen/Octave" (id codegen/Octave))))
(def (sig (procedure "codegen/scheme" (id codegen/scheme))))
(def (sig (procedure "codegen/ML" (id codegen/ML))))
