Member predicate Location::strictlyBefore
Holds if this location starts strictly before the specified location.
predicate strictlyBefore(Location other)Holds if this location starts strictly before the specified location.
predicate strictlyBefore(Location other)