Operators for Space and Time in BeSpaceD

class ATOM extends Invariant; case class OR (t1 : Invariant, t2 : Invariant) extends Invariant; case class AND (t1 : Invariant, t2 : Invariant) extends Invariant; case class NOT (t : Invariant) extends Invariant; case class IMPLIES (t1 : Invariant, t2 : Invariant) extends Invariant; case class BIGOR (t : List[Invariant]) extends Invariant; case class BIGAND (t : List[Invariant]) extends Invariant; case class TRUE() extends ATOM; case class FALSE() extends ATOM; Additional predicates are used to indicate timepoints, timeintervals, events, ownership, and related information. ... case class TimePoint [T] (timepoint : T) extends ATOM; case class TimeInterval [T](timepoint1 : T, timepoint2 : T) extends ATOM; ... case class Event[E] (event : E) extends ATOM;