Header menu logo B2R2

BFS Module

Provides breadth-first traversal functions.

Functions and values

Function or value Description

reverseFoldWithRoots g roots fn acc

Full Usage: reverseFoldWithRoots g roots fn acc

Parameters:
Returns: 'd
Type parameters: 'a, 'b, 'c, 'd (requires equality and equality and :> B2R2.MiddleEnd.BinGraph.IVertex<'a>)

Folds vertices of the graph in a reverse breadth-first traversal manner.

g : IDiGraphAccessible<'a, 'b>
roots : 'c seq
fn : 'd -> IVertex<'a> -> 'd
acc : 'd
Returns: 'd

Type something to start searching.