CodeQL library for JavaScript

Predicate distBackFromEnd

Gets the minimum length of a path from r to some an end state end.

The implementation searches backwards from the end-tuple. This approach was chosen because it is way more efficient if the first predicate given to shortestDistances is small. The end argument must always be an end state.

Import path

int distBackFromEnd(StateTuple r, StateTuple end)