Strongly connected components.
List of Import References :
See BOOL
See DENOTATION
See Map
See Nat
See Option
See Pair
See Seq
See Set
SIGNATURE MaxStrongComp[data,<]
$Date: 1998/06/16 16:00:10 $ ($Revision: 1.1.1.1 $)
-- @(#) $Id: MaxStrongComp.sign,v 1.1.1.1 1998/06/16 16:00:10 wg Exp $ IMPORT Seq[data] ONLY seq Seq[seq[data]] ONLY seq Set[data,<] ONLY set Map[data,<,set[data,<]] ONLY map SORT data FUN < : data ** data -> bool FUN msc: map[data,<,set[data,<]] -> seq[seq[data]]
next node: SetTopSort,
prev node: Subsystem Algorithms,
up to node: Subsystem Algorithms