[−][src]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. |