finished by
If an interval T1 is finished by another interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is coincident with the end of T2.
finished by
If an interval T1 is finished by another interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is coincident with the end of T2.
type
comment
If an interval T1 is finished ...... coincident with the end of T2.
@en
label
finished by
@en
seeAlso
note
Compares an instance of ids:In ...... rval or one interval is empty.
@en