create_init(flows, inits)

Return the expression tree for the init operator.

Parameters:

flowsUnion[EX, List[EX]]

Input flows.

initsUnion[EX, List[EX]]

Initial values.

Returns:

ET

Notes

This is an interface change with respect to the SCADE Creation Library. The flows and their initial values are now specified in two separate lists.