Revision as of 16:10, 21 August 2022 (view source) Pbrowne (talk \| contribs) m (→‎{{header\|CafeOBJ}}) ← Older edit		Revision as of 16:54, 21 August 2022 (view source) Pbrowne (talk \| contribs) m (→‎{{header\|CafeOBJ}}) Newer edit →
Line 1,531: -- Main module mod! DIJKSTRA { -- We use two different list notations, one for ~~esges~~edges the other for paths. -- EdgeList : A four tuple used to store graph and paths and shortest distance

Dijkstra's algorithm (view source)