diff --git a/include/ConflictSet.h b/include/ConflictSet.h index d38fda0..75d4cde 100644 --- a/include/ConflictSet.h +++ b/include/ConflictSet.h @@ -38,9 +38,7 @@ struct __attribute__((__visibility__("default"))) ConflictSet { * calls to `addWrites` */ int64_t writeVersion; }; - /** `reads` must be sorted ascending, and must not have adjacent or - * overlapping ranges. The result of checking reads[i] is written in - * results[i]. */ + /** The result of checking reads[i] is written in results[i]. */ void check(const ReadRange *reads, Result *results, int count) const; /** `writes` must be sorted ascending, and must not have adjacent or * overlapping ranges. Reads intersecting writes where readVersion < @@ -107,8 +105,7 @@ typedef struct { int64_t writeVersion; } ConflictSet_WriteRange; -/** `reads` must be sorted ascending, and must not have adjacent or overlapping - * ranges. The result of checking reads[i] is written in results[i]. */ +/** The result of checking reads[i] is written in results[i]. */ void ConflictSet_check(ConflictSet *cs, const ConflictSet_ReadRange *reads, ConflictSet_Result *results, int count); /** `writes` must be sorted ascending, and must not have adjacent or overlapping