Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws(classOf[java.lang.CloneNotSupportedException]) @native()

6.  def contains(p: Long): Boolean

   Checks if the timestamp given is part of the domain

   Checks if the timestamp given is part of the domain

   p

   The timestamp to check

   returns

   true if the timestamp is part of the domain, false otherwise

   Definition Classes

   EmptyTimeDomain → TimeDomain

7.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

8.  def equals(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef → Any

9.  def finalize(): Unit

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws(classOf[java.lang.Throwable])

10.  final def getClass(): Class[_ <: AnyRef]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

11.  def intersect(other: TimeDomain): TimeDomain

    Returns the intersection of two domains

    Returns the intersection of two domains

    other

    The other domain

    returns

    The intersection of the two domains

    Definition Classes

    EmptyTimeDomain → TimeDomain

12.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

13.  def looseUnion(other: TimeDomain): TimeDomain

    Returns the union of two domains without considering potential //holes// in it

    Returns the union of two domains without considering potential //holes// in it

    Using '#' if the element is in the domain and '-' otherwise, a union would be ###----- ------##

    ###---##

    The looseUnion of these two domains is "########".

    other

    The other domain

    returns

    The union of these two domains

    Definition Classes

    EmptyTimeDomain → TimeDomain

14.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

16.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

17.  def productElementName(n: Int): String

    Definition Classes

    Product

18.  def productElementNames: Iterator[String]

    Definition Classes

    Product

19.  def size: Long
    returns

    The size of the time-domain

    Definition Classes

    EmptyTimeDomain → TimeDomain

20.  final def synchronized[T0](arg0: => T0): T0

    Definition Classes

    AnyRef

21.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

22.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

23.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()