add_transition_equation(transition, lefts, right)#

Create an equation in a transition.

Parameters:
transitionsuite.Transition

Input transition.

leftsList[suite.LocalVariable]

List of variables defined by the equation.

rightEX

Expression of the equation.

Returns:
suite.Equation

Notes

This function ensures the availability of a scope before creating the equation. Indeed, the transitions do not have a scope, suite.DataDef, by default.