chickadee » interval-digraph » digraph-rename

digraph-renameprocedure

Given a digraph and a number K, returns a new digraph that has K added to all node indices and edges.