For most data types, the relations r0 and r1 will be equal
"defines whether the delivered operation is itself redundant and does not need to be added itself to the PO-Log."
"is used when the new delivered operation is discarded being redundant."
"is used if the new delivered operation is added to the PO-Log."
"defines whether the delivered operation is itself redundant and does not need to be added itself to the PO-Log."
"is used when the new delivered operation is discarded being redundant."
"is used if the new delivered operation is added to the PO-Log."
Returns the Redundancy_ relation that should be used to prune the POLog and the stable state, depending on wether the newly delivered operation was redundant or not.
Returns the Redundancy_ relation that should be used to prune the POLog and the stable state, depending on wether the newly delivered operation was redundant or not.
a flag that indicates if the newly delivered operation was marked redundant by the CausalRedundancy.r relation (hence not added to the POLog)
the redundancy relation to use
A triple containing the data type specific relations R, R0 and R1 used by a CRDT for causal redundancy.
"defines whether the delivered operation is itself redundant and does not need to be added itself to the PO-Log."
"is used when the new delivered operation is discarded being redundant."
"is used if the new delivered operation is added to the PO-Log."