Redef.functions function

A collection of functions for redefining attributes of edited edges