Topological sort: Difference between revisions
Content added Content deleted
m (→{{header|ATS}}) |
m (→{{header|ATS}}) |
||
Line 751: | Line 751: | ||
typedef nodenames (n : int) = list (String1, n) |
typedef nodenames (n : int) = list (String1, n) |
||
(* A more efficient representation for nodes: integers in 0..n. *) |
(* A more efficient representation for nodes: integers in 0..n-1. *) |
||
typedef nodenum (n : int) = [num : nat | num <= n - 1] size_t num |
typedef nodenum (n : int) = [num : nat | num <= n - 1] size_t num |
||