decorators

Functions

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.
total_ordering_py3(cls)	Create a class with total order from the cmp method py3_cmp() :param cls: decorated class :return: self