next node: SetTopSort,
prev node: Subsystem Algorithms,
up to node: Subsystem Algorithms

MaxStrongComp

Strongly connected components.

Signature of MaxStrongComp

List of Import References :
See BOOL
See DENOTATION
See Map
See Nat
See Option
See Pair
See Seq
See Set 

SIGNATURE MaxStrongComp[data,<]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $) 

-- @(#) $Id: MaxStrongComp.sign 616 2010-09-30 16:24:17Z florenz@TU-BERLIN.DE $

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