cayZ

Change deadlock cycle detection algorithm to a general one for directed graphs

1

## Description This PR changes the cycle detection algorithm taught in the deadlock chapter to a generic one for directed graphs. The current algorithm in the textbook has the following...