Member predicate LocationImpl::Location::endsStrictlyAfter
Holds if this location ends strictly after location that.
predicate endsStrictlyAfter(Location that)Holds if this location ends strictly after location that.
predicate endsStrictlyAfter(Location that)