Module fbas_analyzer::preprocessing

Functions

find_satisfiable_nodes	Partitions node_set into the sets of (satisfiable, unsatisfiable) nodes.
partition_into_strongly_connected_components	Using implementation from pathfinding crate.
rank_nodes	Rank nodes using an adaptation of the page rank algorithm (no dampening, fixed number of runs, no distinction between validators and inner quorum set validators). Links from nodes not in nodes are ignored.
sort_by_rank	Rank nodes and sort them by “highest rank score first”