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 addTimepoint(): MatrixContext[G, M]
5.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

6.  final def atTimepoint(t: Int): MatrixContext[G, M]
7.  def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... ) @native()

8.  final def contains(g: G, m: LTL[M], t: Integer): Boolean
9.  final def contains(g: G, m: M, t: Integer): Boolean
10.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

11.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

12.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

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

13.  def getAllLTLAttributes(): Set[LTL[M]]
14.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  def getLTLAttributes(types: <repeated...>[Type]): Set[LTL[M]]
16.  final def getLength(): Int
17.  final def hasTimepoint(t: Int): Boolean
18.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

19.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

20.  final def lastTimepoint(): Int
21.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

22.  final def normalize(): Boolean
23.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

24.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

25.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

26.  final def temporalScaling(): MatrixContext[Pair[G, Integer], LTL[M]]
27.  final def temporalScaling(ltlAttributes: Set[LTL[M]]): MatrixContext[Pair[G, Integer], LTL[M]]
28.  final def temporalScaling(timepoints: Set[Integer], ltlAttributes: Set[LTL[M]]): MatrixContext[Pair[G, Integer], LTL[M]]
    returns

    a formal context The method may throw an Exception, if the temporal context is not normalized. Thus the normalize() method should be called before.

29.  def toString(): String

    Definition Classes

    AnyRef → Any

30.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()