SCC (B2R2)

SCC Module

Namespace: B2R2.MiddleEnd.BinGraph
Assembly: B2R2.MiddleEnd.BinGraph.dll

Types

Type	Description
CondensationBlock<'D>
CondensationGraph<'D>
SCC<'D>
SCCInfo<'D>

Functions and values

Function or value	Description
`assignSCC ctxt vNum stack scc` Full Usage: `assignSCC ctxt vNum stack scc` Parameters: ctxt : `SCCInfo<'a>` vNum : `int` stack : `int list` scc : `Set<Vertex<'a>>` Returns: `int list * Set<Vertex<'a>>`	ctxt : `SCCInfo<'a>` vNum : `int` stack : `int list` scc : `Set<Vertex<'a>>` Returns: `int list * Set<Vertex<'a>>`
`compute g root` Full Usage: `compute g root` Parameters: g : `DiGraph<'a, 'b>` root : `Vertex<'a>` Returns: `Set<Set<Vertex<'a>>>`	g : `DiGraph<'a, 'b>` root : `Vertex<'a>` Returns: `Set<Set<Vertex<'a>>>`
`computeLowLink g ctxt v (n, stack, sccs) w` Full Usage: `computeLowLink g ctxt v (n, stack, sccs) w` Parameters: g : `DiGraph<'a, 'b>` ctxt : `SCCInfo<'a>` v : `Vertex<'a>` n : `int` stack : `int list` sccs : `Set<Vertex<'a>> list` w : `Vertex<'a>` Returns: `int * int list * Set<Vertex<'a>> list`	g : `DiGraph<'a, 'b>` ctxt : `SCCInfo<'a>` v : `Vertex<'a>` n : `int` stack : `int list` sccs : `Set<Vertex<'a>> list` w : `Vertex<'a>` Returns: `int * int list * Set<Vertex<'a>> list`
`computeSCC g ctxt v n stack sccs` Full Usage: `computeSCC g ctxt v n stack sccs` Parameters: g : `DiGraph<'a, 'b>` ctxt : `SCCInfo<'a>` v : `Vertex<'a>` n : `int` stack : `int list` sccs : `Set<Vertex<'a>> list` Returns: `int * int list * Set<Vertex<'a>> list`	R.Tarjan. Depth-first search and linear graph algorithms g : `DiGraph<'a, 'b>` ctxt : `SCCInfo<'a>` v : `Vertex<'a>` n : `int` stack : `int list` sccs : `Set<Vertex<'a>> list` Returns: `int * int list * Set<Vertex<'a>> list`
`condensation graphInit g root` Full Usage: `condensation graphInit g root` Parameters: graphInit : `unit -> DiGraph<CondensationBlock<'a>, unit>` g : `DiGraph<'a, 'b>` root : `Vertex<'a>` Returns: `DiGraph<CondensationBlock<'a>, unit>`	graphInit : `unit -> DiGraph<CondensationBlock<'a>, unit>` g : `DiGraph<'a, 'b>` root : `Vertex<'a>` Returns: `DiGraph<CondensationBlock<'a>, unit>`
`createSCC ctxt v stack sccs` Full Usage: `createSCC ctxt v stack sccs` Parameters: ctxt : `SCCInfo<'a>` v : `Vertex<'b>` stack : `int list` sccs : `Set<Vertex<'a>> list` Returns: `int list * Set<Vertex<'a>> list`	ctxt : `SCCInfo<'a>` v : `Vertex<'b>` stack : `int list` sccs : `Set<Vertex<'a>> list` Returns: `int list * Set<Vertex<'a>> list`
`dfnum ctxt v` Full Usage: `dfnum ctxt v` Parameters: ctxt : `SCCInfo<'a>` v : `Vertex<'b>` Returns: `int`	ctxt : `SCCInfo<'a>` v : `Vertex<'b>` Returns: `int`
`initSCCInfo g` Full Usage: `initSCCInfo g` Parameters: g : `DiGraph<'a, 'b>` Returns: `SCCInfo<'c>`	g : `DiGraph<'a, 'b>` Returns: `SCCInfo<'c>`
`lowlink ctxt v` Full Usage: `lowlink ctxt v` Parameters: ctxt : `SCCInfo<'a>` v : `Vertex<'b>` Returns: `int`	ctxt : `SCCInfo<'a>` v : `Vertex<'b>` Returns: `int`
`min x y` Full Usage: `min x y` Parameters: x : `'a` y : `'a` Returns: `'a`	x : `'a` y : `'a` Returns: `'a`