detached_sorted_nonempty: Check intervals are detached, sorted and non-empty.
Description
Check that x is an integer matrix specifying intervals, that the specified intervals are detached (i.e. non-overlapping/disjoint and non-touching) and that it is sorted (given that the intervals are detached, sorting by start position gives a unique result), and that the start points are greater than the end points (i.e. that they are non-empty/the lengths of all intervals is greater than zero).
Usage
detached_sorted_nonempty(x)
Value
Boolean value.
Arguments
x
Integer matrix of two columns, the first column giving the (inclusive) start points of intervals and the second column giving the corresponding (exclusive) end points.