multi_variable_invariant

multi_variable_invariant(default_variables)

Decorator for a multi-variable invariant that converts the second argument of the invariant to a tuple of sympy symbols. The invariant is therefore of the form “def invariant_func(obj, variables, …)”. If function (invariant) is called by keyword argument, the keyword argument with key “variables” is assumed. If the “variables” key is not in the kwargs dictionary, the default variables default_variables is added to kwargs.