Floyd-Warshall algorithm: Difference between revisions

Content added Content deleted
Line 2,744: Line 2,744:




This implementation was written by referring frequently to [[#ATS|the ATS]], but differs from it considerably. For example, it assumes IEEE floating point, whereas the ATS purposely avoided that assumption. However, the "square matrix" and "edge" types are very similar to the ATS equivalents.
This implementation was written by referring frequently to [[#ATS|the ATS]], but differs from it considerably. For example, it assumes IEEE floating point, whereas the ATS purposely avoided that assumption. However, the "square array" and "edge" types are very similar to the ATS equivalents.


<lang ocaml>(*
<lang ocaml>(*