Struct fbas_analyzer::Analysis

pub struct Analysis { /* fields omitted */ }

Front end for the most interesting FBAS analyses. Among other things, it does ID space shrinking (which improves memory and performance when using bit sets) and caches the results of long-running computations.

Implementations

impl Analysis

pub fn new(fbas: &Fbas) -> Self

Start a new Analysis

pub fn all_nodes(&self) -> NodeIdSetResult

Nodes in the analyzed FBAS - not filtered by relevance.

pub fn satisfiable_nodes(&self) -> NodeIdSetResult

Nodes in the analyzed FBAS that can be satisfied given their quorum sets and the nodes existing in the FBAS.

pub fn unsatisfiable_nodes(&self) -> NodeIdSetResult

Nodes in the analyzed FBAS that can never be satisfied given their quorum sets and the nodes existing in the FBAS.

pub fn has_quorum_intersection(&self) -> bool

Regular quorum intersection check via finding all minimal quorums. Algorithm inspired by Lachowski 2019).

pub fn has_quorum_intersection_via_alternative_check(
    &self
) -> (bool, Option<NodeIdSetVecResult>)

Quorum intersection check that works without enumerating all minimal quorums.

pub fn minimal_quorums(&self) -> NodeIdSetVecResult

Minimal quorums - no proper subset of any of these node sets is a quorum.

pub fn minimal_blocking_sets(&self) -> NodeIdSetVecResult

Minimal blocking sets - minimal indispensable sets for global liveness.

pub fn minimal_splitting_sets(&self) -> NodeIdSetVecResult

Minimal splitting sets - minimal indispensable sets for safety.

pub fn top_tier(&self) -> NodeIdSetResult

Top tier - the set of nodes exclusively relevant when determining minimal blocking sets and minimal splitting sets.

pub fn symmetric_top_tier(&self) -> Option<QuorumSet>

If the top tier is symmetric, i.e., each two top-tier nodes have the same quorum set, return the top tier’s common quorum set. Else return None.

pub fn symmetric_clusters(&self) -> Vec<QuorumSet>

Symmetric clusters - sets of nodes in which each two nodes have the same quorum set. Here, each found symmetric cluster is represented by its common quorum set.

Trait Implementations

impl Debug for Analysis

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.