[−][src]Function tcb::causality_checker::causality_checker::check_causal_delivery
pub fn check_causal_delivery(
peer_number: usize,
peer_dot_sequences: Vec<Vec<CausalCheck>>,
graph_implementation: bool
) -> CausalityChecker
Starts the causality checker by using the group's dot sequences.
Arguments
peer_number
- group size
peer_dot_sequences
- sequences with the messages' dots
graph_implementation
- flag that if True the middleware used a graph implementation