A triple containing the data type specific relations R, R0 and R1 used by a CRDT for causal redundancy.
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."
Returns true if the operation is itself redundant or it is redundant by the operations currently on the POLog.
Returns true if the operation is itself redundant or it is redundant by the operations currently on the POLog. "In most cases this can be decided by looking only at the delivered operation itself"
Returns true if the second operation (the operation currently in the POLog is made redundant by the first one (the new delivered one)
A CRDT wich state is a sequence of stable operations (that's why they doesn't contain a related VectorTime) This is the CRDT to use if it is not needed to define a specific state type (like a HashSet for AWSet)