Module tcb::causality_checker::causality_checker_structs

Auxiliary structs for the causality checker.

Structs

CausalityCheckerError	State of the causality checker when the error was detected.
CheckNode	Node of the causal graph built while looping through the dot sequences.
VersionMatrix	Matrix where each row is a peer's version vector. This is used to determine causal stability.

Enums

CausalCheck	Enum for the type of dots in the peer sequences.
CausalityChecker	Enum with the results for the causality checker.
CausalityCheckerErrorEnum	Enum with type of causality checker errors thrown while traversing the dot sequences.
HandlePeerDotCausalError	Auxiliary eum for errors that occur during the recursive call.