Member predicate LocationImpl::Location::startsStrictlyBefore
Holds if this location starts strictly before location that
.
predicate startsStrictlyBefore(Location that)
Holds if this location starts strictly before location that
.
predicate startsStrictlyBefore(Location that)